18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings / Fahrenberg, Uli ; Jipsen, Peter ; Winter, Michael  

Público ISBD Ningún comentario para este registro. Título : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings Tipo de documento: documento electrónico Autores: Fahrenberg, Uli, ; Jipsen, Peter, ; Winter, Michael, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVIII, 335 p. 666 ilustraciones, 64 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-43520-2 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  Red de computadoras  Ciencias de la Computación  Análisis numérico  Lenguajes formales y teoría de los autómatas  Redes de comunicación informática  Lógica informática y fundamentos de la programación Índice Dewey: 5.131 Resumen: Este libro constituye las actas de la 18.ª Conferencia Internacional sobre Métodos Algebraicos y Relacionales en Ciencias de la Computación, RAMiCS 2020, que debía celebrarse en Palaiseau, Francia, en abril de 2020. La conferencia fue cancelada debido a la pandemia de COVID-19. Los 20 artículos completos presentados junto con 3 resúmenes invitados fueron cuidadosamente seleccionados entre 29 presentaciones. Los temas cubiertos van desde fundamentos matemáticos hasta aplicaciones como herramientas conceptuales y metodológicas en ciencias de la computación y más allá. Nota de contenido: Commutative Doubly-idempotent Semirings Determined by Chains and by Preorder Forests -- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem -- Hardness of Network Satisfaction for Relation Algebras with Normal Representations -- The Theta-Join as a Join With Theta -- Bisimilarity of Diagrams -- Generating Posets Beyond N -- Automated Algebraic Reasoning for Collections and Local Variables with Lenses -- Weakening Relation Algebras and FL 2-algebras -- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras -- A Hierarchy of Algebras for Boolean Subsets -- Differential Hoare Logics and Refinement Calculi for Hybrid System with Isabelle/HOL -- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory -- Expressive Power and Succinctness of the Positive Calculus of Relations -- Stone Dualities from Opfibrations -- Preorders, Partial Semigroups, and Quantales -- Counting and Computing Join-Endomorphisms In Lattices -- A Unary Semigroup TraceAlgebra -- The Involutive Quantaloid of Completely Distributive Lattices -- Computer-Supported Exploration of a Categorical Axiomatization of Modeloids -- Sharpness in the Fuzzy World. 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 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings [documento electrónico] / Fahrenberg, Uli, ; Jipsen, Peter, ; Winter, Michael,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XVIII, 335 p. 666 ilustraciones, 64 ilustraciones en color. ISBN : 978-3-030-43520-2 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  Red de computadoras  Ciencias de la Computación  Análisis numérico  Lenguajes formales y teoría de los autómatas  Redes de comunicación informática  Lógica informática y fundamentos de la programación Índice Dewey: 5.131 Resumen: Este libro constituye las actas de la 18.ª Conferencia Internacional sobre Métodos Algebraicos y Relacionales en Ciencias de la Computación, RAMiCS 2020, que debía celebrarse en Palaiseau, Francia, en abril de 2020. La conferencia fue cancelada debido a la pandemia de COVID-19. Los 20 artículos completos presentados junto con 3 resúmenes invitados fueron cuidadosamente seleccionados entre 29 presentaciones. Los temas cubiertos van desde fundamentos matemáticos hasta aplicaciones como herramientas conceptuales y metodológicas en ciencias de la computación y más allá. Nota de contenido: Commutative Doubly-idempotent Semirings Determined by Chains and by Preorder Forests -- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem -- Hardness of Network Satisfaction for Relation Algebras with Normal Representations -- The Theta-Join as a Join With Theta -- Bisimilarity of Diagrams -- Generating Posets Beyond N -- Automated Algebraic Reasoning for Collections and Local Variables with Lenses -- Weakening Relation Algebras and FL 2-algebras -- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras -- A Hierarchy of Algebras for Boolean Subsets -- Differential Hoare Logics and Refinement Calculi for Hybrid System with Isabelle/HOL -- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory -- Expressive Power and Succinctness of the Positive Calculus of Relations -- Stone Dualities from Opfibrations -- Preorders, Partial Semigroups, and Quantales -- Counting and Computing Join-Endomorphisms In Lattices -- A Unary Semigroup TraceAlgebra -- The Involutive Quantaloid of Completely Distributive Lattices -- Computer-Supported Exploration of a Categorical Axiomatization of Modeloids -- Sharpness in the Fuzzy World. 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