14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers / Cîrstea, Corina  

Público ISBD Ningún comentario para este registro. Título : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Cîrstea, Corina, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: IX, 235 p. 4 ilustraciones ISBN/ISSN/DL: 978-3-030-00389-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Teoría de las máquinas  Inteligencia artificial  Ciencias de la Computación  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación Índice Dewey: 5.131 Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, del 14º Taller Internacional sobre Métodos Coalgebraicos en Ciencias de la Computación, CMCS 2018, ubicado junto con ETAPS 2018, celebrado en Salónica, Grecia, en abril de 2018. Los 10 artículos completos revisados ​​fueron cuidadosamente revisados ​​y seleccionados. de 17 presentaciones. También se incluyen los resúmenes ampliados de dos conferencias magistrales/charlas invitadas. Los artículos cubren una amplia gama de temas en la teoría, lógica y aplicaciones de coalgebras. Nota de contenido: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers [documento electrónico] / Cîrstea, Corina,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - IX, 235 p. 4 ilustraciones. ISBN : 978-3-030-00389-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Teoría de las máquinas  Inteligencia artificial  Ciencias de la Computación  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación Índice Dewey: 5.131 Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, del 14º Taller Internacional sobre Métodos Coalgebraicos en Ciencias de la Computación, CMCS 2018, ubicado junto con ETAPS 2018, celebrado en Salónica, Grecia, en abril de 2018. Los 10 artículos completos revisados ​​fueron cuidadosamente revisados ​​y seleccionados. de 17 presentaciones. También se incluyen los resúmenes ampliados de dos conferencias magistrales/charlas invitadas. Los artículos cubren una amplia gama de temas en la teoría, lógica y aplicaciones de coalgebras. Nota de contenido: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Par page : 25 50 100 200