Coalgebraic Methods in Computer Science More Books Like This

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