Buch, Englisch, Band 11202, 235 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 382 g
14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14¿15, 2018, Revised Selected Papers
Buch, Englisch, Band 11202, 235 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 382 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-030-00388-3
Verlag: Springer International Publishing
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Relating Structure and Power: Comonadic Semantics for Computational Resources.- Coalgebraic Logics and Duality.- Intuitionistic Podelski-Rybalchenko Theorem and Equivalence between Inductive Definitions and Cyclic Proofs.- Undecidability of Equality for Codata Types.- Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages.- Long-Term Values in Markov Decision Processes, (Co)Algebraically.- (In)finite Trace Equivalence of Probabilistic Transition Systems.- Steps and Traces.- On Algebras with Effectful Iteration.- Monoidal computer III: A coalgebraic view of computability and complexity.- Fibrational Bisimulations and Quantitative Reasoning.- Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors.