Coalgebraic Methods in Computer Science More Books Like This

Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2022
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2007
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2011
Introduction to Coalgebra Introduction to Coalgebra
Introduction to Coalgebra
2016
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
2010
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
Mathematical Logic and Theoretical Computer Science
2020
Logic and Algebra Logic and Algebra
Logic and Algebra
2017
Term Rewriting and Applications Term Rewriting and Applications
Term Rewriting and Applications
2007
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
Developments in Language Theory Developments in Language Theory
Developments in Language Theory
2008
Algebraic Methods in General Rough Sets Algebraic Methods in General Rough Sets
Algebraic Methods in General Rough Sets
2019
Effective Mathematics of the Uncountable Effective Mathematics of the Uncountable
Effective Mathematics of the Uncountable
2013
Complexity, Logic, and Recursion Theory Complexity, Logic, and Recursion Theory
Complexity, Logic, and Recursion Theory
2019