An Introduction to Cut-elimination by Resolution (CERES)

Bibliografické údaje

Autoři

• David Cerna, MSc. Ph.D.

Rok vydání

2024

Typ publikace

Abstrakt

Bibliografická citace

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