Coalgebraic Methods in Computer Science
Editat de Henning Basold, Clemens Kupkeen Limba Engleză Paperback – 24 feb 2027
Preț: 448.23 lei
Precomandă
Puncte Express: 672
Carte nepublicată încă
Livrare prin curier în România Precomanda se expediază când titlul devine disponibil.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Doresc să fiu notificat când acest titlu va fi disponibil:
Se trimite...
Specificații
Cuprins
.- On the Axioms of Arboreal Categories.
.- Coalgebraic Path Constraints.
.- A Framework for Coalgebraic Reward-Sensitive Bisimulation.
.- Coalgebraic Semantics for Fischer Servi Intuitionistic Modal Logic.
.- Learning Automata with Name Allocation.
.- Coalgebraic Semantics for Two-agent ATL and its Meta-level Model-checking Complexity.
.- The Only Distributive Law Over the Powerset Monad Is the One You Know.