Andere Kunden interessierten sich auch für
![Coalgebraic Methods in Computer Science]( "Coalgebraic Methods in Computer Science")
Coalgebraic Methods in Computer Science53,49 €![Logic and Its Applications]( "Logic and Its Applications")
Logic and Its Applications48,99 €![Relational and Algebraic Methods in Computer Science]( "Relational and Algebraic Methods in Computer Science")
Relational and Algebraic Methods in Computer Science37,99 €![Recent Trends in Algebraic Development Techniques]( "Recent Trends in Algebraic Development Techniques")
Recent Trends in Algebraic Development Techniques37,99 €![Automated Reasoning with Analytic Tableaux and Related Methods]( "Automated Reasoning with Analytic Tableaux and Related Methods")
Automated Reasoning with Analytic Tableaux and Related Methods37,99 €![Theory and Applications of Satisfiability Testing ¿ SAT 2021]( "Theory and Applications of Satisfiability Testing ¿ SAT 2021")
Theory and Applications of Satisfiability Testing ¿ SAT 202181,99 €![Coalgebraic Methods in Computer Science]( "Coalgebraic Methods in Computer Science")
Coalgebraic Methods in Computer Science38,99 €
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022.
The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.