Dual Tableaux: Foundations, Methodology, Case Studies More Books Like This

Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2007
Analysis and Synthesis of Logics Analysis and Synthesis of Logics
Analysis and Synthesis of Logics
2008
Logic and Algebra Logic and Algebra
Logic and Algebra
2017
Proof Theory for Fuzzy Logics Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
2008
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998
Completeness Theory for Propositional Logics Completeness Theory for Propositional Logics
Completeness Theory for Propositional Logics
2008
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2011
Relations: Concrete, Abstract, and Applied Relations: Concrete, Abstract, and Applied
Relations: Concrete, Abstract, and Applied
2020
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
2010
Term Rewriting and Applications Term Rewriting and Applications
Term Rewriting and Applications
2007
Logica Universalis Logica Universalis
Logica Universalis
2005
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2018
Proof and Computation Proof and Computation
Proof and Computation
2018
Advances in Mathematical Logic Advances in Mathematical Logic
Advances in Mathematical Logic
2022
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
Mathematical Logic and Theoretical Computer Science
2020