↓ Skip to main content

Automated Reasoning with Analytic Tableaux and Related Methods

Overview of attention for book
Attention for Chapter 5: A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
1 Mendeley