Term Rewriting and Applications More Books Like This
Rewriting, Computation and Proof
2007
Typed Lambda Calculi and Applications
2007
Typed Lambda Calculi and Applications
2011
Foundations of Software Science and Computational Structures
2010
Automated Reasoning
2022
Language and Automata Theory and Applications
2008
Developments in Language Theory
2008
Coalgebraic Methods in Computer Science
2018
Reachability Problems
2022
Developments in Language Theory
2007
Coalgebraic Methods in Computer Science
2022
Relations and Kleene Algebra in Computer Science
2009
Foundations of Information and Knowledge Systems
2022
Proof Theory for Fuzzy Logics
2008
Relational and Algebraic Methods in Computer Science
2011