Coalgebraic Methods in Computer Science More Books Like This
Coalgebraic Methods in Computer Science
2022
Typed Lambda Calculi and Applications
2011
Introduction to Coalgebra
2016
Mathematical Logic and Theoretical Computer Science
2020
Logic and Algebra
2017
Rewriting, Computation and Proof
2007
Relational and Algebraic Methods in Computer Science
2011
Automated Reasoning
2022
Developments in Language Theory
2008
Algebraic Methods in General Rough Sets
2019
Effective Mathematics of the Uncountable
2013
Complexity, Logic, and Recursion Theory
2019
Realizability
2008
Relations and Kleene Algebra in Computer Science
2009
Proof and Computation
2018