Handbook of Process Algebra More Books Like This
Foundations of Software Science and Computational Structures
2010
Rewriting, Computation and Proof
2007
Relational and Algebraic Methods in Computer Science
2011
Automated Reasoning
2022
Automated Reasoning
2020
Relational and Algebraic Methods in Computer Science
2018
Theorem Proving in Higher Order Logics
2007
Typed Lambda Calculi and Applications
2011
Relations and Kleene Algebra in Computer Science
2009
Term Rewriting and Applications
2007
Typed Lambda Calculi and Applications
2007
Reachability Problems
2022
Language and Automata Theory and Applications
2008
Coalgebraic Methods in Computer Science
2020
Coalgebraic Methods in Computer Science
2014