default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th RAMiCS 2018: Groningen, The Netherlands
- Jules Desharnais, Walter Guttmann, Stef Joosten:
Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings. Lecture Notes in Computer Science 11194, Springer 2018, ISBN 978-3-030-02148-1
Invited Paper
- Manuel Bodirsky
:
Finite Relation Algebras with Normal Representations. 3-17
Theoretical Foundations
- Hans Leiß, Mark Hopkins:
C-Dioids and \mu -Continuous Chomsky-Algebras. 21-36 - Mark Hopkins, Hans Leiß:
Coequalizers and Tensor Products for Continuous Idempotent Semirings. 37-52 - Roland Glück:
Distances, Norms and Error Propagation in Idempotent Semirings. 53-69 - Michael Winter:
T-Norm Based Operations in Arrow Categories. 70-86 - Robin Hirsch:
Decidability of Equational Theories for Subsignatures of Relation Algebra. 87-96 - Koki Nishizawa, Norihiro Tsumagari:
Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad. 97-112 - Giulia Sindoni, Katsuhiko Sano, John G. Stell:
Axiomatizing Discrete Spatial Relations. 113-130 - Pranab Kumar Ghosh, Michael Winter:
A Modal and Relevance Logic for Qualitative Spatial Reasoning. 131-147 - Sarah Alexander, Peter Jipsen, Nadiya Upegui:
On the Structure of Generalized Effect Algebras and Separation Algebras. 148-165 - Stefano Bonzio, Michele Pra Baldi, Diego Valota:
Counting Finite Linearly Ordered Involutive Bisemilattices. 166-183 - Maria João Gouveia, Luigi Santocanale:
MIX \star -Autonomous Quantales and the Continuous Weak Order. 184-201
Reasoning About Computations and Programs
- Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. 205-224 - Jonathan Julián Huerta y Munive, Georg Struth:
Verifying Hybrid Systems with Modal Kleene Algebra. 225-243 - Jessica Ertel, Roland Glück, Bernhard Möller:
Algebraic Derivation of Until Rules and Application to Timer Verification. 244-262 - Callum Bannister, Peter Höfner:
False Failure: Creating Failure Models for Separation Logic. 263-279 - Malvin Gattinger, Jana Wagemaker:
Towards an Analysis of Dynamic Gossip in Netkat. 280-297 - Dexter Kozen, Matvey Soloviev:
Coalgebraic Tools for Randomness-Conserving Protocols. 298-313
Applications and Tools
- Nikolai Krivulin:
Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems. 317-332 - Maximiliano Cristiá, Gianfranco Rossi:
A Set Solver for Finite Set Relation Algebra. 333-349 - Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos:
On the Computational Complexity of Non-dictatorial Aggregation. 350-365 - Wolfram Kahl:
Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck. 366-384
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 19:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
