An Introduction to Cut-elimination by Resolution (CERES)

Bibliographic details

Authors

David M. Cerna

Publication year

2024

Publication type

Abstrakt

Bibliographic citation

CERNA, David M. An Introduction to Cut-elimination by Resolution (CERES) [zp]. Tbilisi, International Tbilisi Summer School in Logic and Language /18./, 12.09.2024-15.09.2024.

ID

598360