Search results for: Alexander Leitsch
Applied Logic Series > Automated Model Building > 151-232
Lecture Notes in Computer Science > Automated Deduction — CADE-16 > Session 6: System Descriptions > 212-216
Lecture Notes in Computer Science > CSL '89 > 225-241
Applied Logic Series > Automated Model Building > 273-318
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Applied Logic Series
Trends in Logic > Methods of Cut-Elimination > 39-61
Trends in Logic > Methods of Cut-Elimination > 63-104
Trends in Logic > Methods of Cut-Elimination > 229-269
Trends in Logic > Methods of Cut-Elimination > 271-273
Trends in Logic > Methods of Cut-Elimination > 175-227
Trends in Logic > Methods of Cut-Elimination > 105-162
Trends in Logic > Methods of Cut-Elimination > 163-173