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 título. 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, which was due to be held in Palaiseau, France, in April 2020. The conference was cancelled due to the COVID-19 pandemic. The 20 full papers presented together with 3 invited abstracts were carefully selected from 29 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, which was due to be held in Palaiseau, France, in April 2020. The conference was cancelled due to the COVID-19 pandemic. The 20 full papers presented together with 3 invited abstracts were carefully selected from 29 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200