Polynomial Time Calculi More Books Like This
Computer Science Logic
2010
Automated Reasoning
2010
Automated Deduction – CADE-21
2007
Typed Lambda Calculi and Applications
2007
Automated Deduction -- CADE-23
2011
Frontiers of Combining Systems
2011
Typed Lambda Calculi and Applications
2011
Term Rewriting and Applications
2007
Automated Reasoning
2008
Types for Proofs and Programs
2007
Computation and Logic in the Real World
2007
Foundations of Software Science and Computational Structures
2010
Foundations of Software Science and Computational Structures
2009
Functional and Logic Programming
2010
Functional and Logic Programming
2008