Cantitate/Preț
Produs

Coalgebraic Methods in Computer Science: Lecture Notes in Computer Science, cartea 14617

Editat de Barbara König, Henning Urbat
en Limba Engleză Paperback – 26 iul 2024
This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.
The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 46794 lei

Puncte Express: 702

Preț estimativ în valută:
8275 9489$ 7151£

Carte disponibilă

Livrare economică 06-20 aprilie


Specificații

ISBN-13: 9783031664373
ISBN-10: 303166437X
Pagini: 228
Ilustrații: VII, 213 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.35 kg
Ediția:2024
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking.- A Categorical Approach to Coalgebraic Fixpoint Logic.- Preorder-Constrained Simulations for Program Refinement with Effects.- Automata and Coalgebras in Categories of Species.- Automata in W-Toposes, and General Myhill-Nerode Theorems.- Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.- Explicit Hopcroft’s Trick in Categorical Partition Refinement.- Proving Behavioural Apartness.- A Compositional Approach to Petri Nets.- Correspondence between Composite Theories and Distributive Laws.