Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	September 2018
Genre:	EDV / Informatik
	Artificial Intelligence / C / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Formal Languages and Automata Theory / formal logic / Künstliche Intelligenz / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Metric Spaces / problem solving / Set theory mehr...
ISBN:	9783030003883
EAN-Code:	9783030003883
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#11202 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	385 gr
Seiten:	235
Illustration:	IX, 235 p. 4 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.