Cargando…

Stochastic Coalgebraic Logic

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stocha...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Doberkat, Ernst-Erich (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:	1st ed. 2009.
Colección:	Monographs in Theoretical Computer Science. An EATCS Series,
Temas:	Machine theory. Probabilities. Artificial intelligence. Algebra, Homological. Statistics . Formal Languages and Automata Theory. Probability Theory. Artificial Intelligence. Category Theory, Homological Algebra. Statistical Theory and Methods.
Acceso en línea:	Texto Completo

Ejemplares similares

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
por: Doberkat, Ernst-Erich
Publicado: (2015)

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
Publicado: (2015)

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
Publicado: (2014)

A Course in Formal Languages, Automata and Groups
por: Chiswell, Ian M.
Publicado: (2009)

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings /
Publicado: (2013)

A New Foundation for Representation in Cognitive and Brain Science Category Theory and the Hippocampus /
por: Gómez-Ramirez, Jaime
Publicado: (2014)

Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings /
Publicado: (2016)

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings /
Publicado: (2008)

Formal Grammar 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings /
Publicado: (2013)

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings /
Publicado: (2006)

Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings /
Publicado: (2014)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
Publicado: (2016)

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /
Publicado: (2016)

Algorithms in Invariant Theory
por: Sturmfels, Bernd
Publicado: (2008)

Cohomology of coalgebras
por: Jonah, David W.
Publicado: (1968)

Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers /
Publicado: (2012)

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Publicado: (2014)

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
Publicado: (2016)

Agent Technology from a Formal Perspective
Publicado: (2006)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
por: Ognjanović, Zoran, et al.
Publicado: (2016)

Conditionals and Modularity in General Logics
por: Gabbay, Dov M., et al.
Publicado: (2011)

Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings /
Publicado: (2009)

Flow, Gesture, and Spaces in Free Jazz Towards a Theory of Collaboration /
por: Mazzola, Guerino, et al.
Publicado: (2009)

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
Publicado: (2005)

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /
Publicado: (2014)

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings /
Publicado: (2009)

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Publicado: (2011)

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings /
Publicado: (2013)

New Directions in Logic, Language, and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers /
Publicado: (2012)

A New Perspective on Nonmonotonic Logics
por: Gabbay, Dov M., et al.
Publicado: (2016)

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings /
Publicado: (2011)

Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers /
Publicado: (2014)

Universal Artificial Intelligence Sequential Decisions Based on Algorithmic Probability /
por: Hutter, Marcus
Publicado: (2005)

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /
Publicado: (2016)

Reactive Kripke Semantics
por: Gabbay, Dov M.
Publicado: (2013)

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings /
Publicado: (2014)

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
Publicado: (2015)

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings /
Publicado: (2012)

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings /
Publicado: (2014)

Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_vo2bkpknvve4feaec6v07gp6vu