Rewriting, Computation and Proof More Books Like This

Term Rewriting and Applications Term Rewriting and Applications
Term Rewriting and Applications
2007
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2007
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2011
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
2010
Automated Reasoning Automated Reasoning
Automated Reasoning
2022
PROOF AND COMPUTATION II PROOF AND COMPUTATION II
PROOF AND COMPUTATION II
2021
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2018
Relations and Kleene Algebra in Computer Science Relations and Kleene Algebra in Computer Science
Relations and Kleene Algebra in Computer Science
2009
Language and Automata Theory and Applications Language and Automata Theory and Applications
Language and Automata Theory and Applications
2008
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science
2011
Automated Reasoning Automated Reasoning
Automated Reasoning
2020
Reachability Problems Reachability Problems
Reachability Problems
2022
Proof and Computation Proof and Computation
Proof and Computation
2018
Developments in Language Theory Developments in Language Theory
Developments in Language Theory
2008
Handbook of Process Algebra Handbook of Process Algebra
Handbook of Process Algebra
2001