Handbook of Process Algebra More Books Like This

Rewriting, Computation and Proof Rewriting, Computation and Proof
Rewriting, Computation and Proof
2007
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
2022
Automated Reasoning Automated Reasoning
Automated Reasoning
2020
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science
2018
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2011
Relations and Kleene Algebra in Computer Science Relations and Kleene Algebra in Computer Science
Relations and Kleene Algebra in Computer Science
2009
Reachability Problems Reachability Problems
Reachability Problems
2022
Language and Automata Theory and Applications Language and Automata Theory and Applications
Language and Automata Theory and Applications
2008
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2020
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2014
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2016
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2018
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
2022
PROOF AND COMPUTATION II PROOF AND COMPUTATION II
PROOF AND COMPUTATION II
2021