default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15. RAMICS 2015: Braga, Portugal
- Wolfram Kahl, Michael Winter
, José Nuno Oliveira:
Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. Lecture Notes in Computer Science 9348, Springer 2015, ISBN 978-3-319-24703-8
Invited Papers
- Gheorghe Stefanescu:
A Quest for Kleene Algebra in 2 Dimensions. 3-26 - Ian M. Hodkinson:
Connections between Relation Algebras and Cylindric Algebras. 27-42 - Ernst-Erich Doberkat:
Towards a Probabilistic Interpretation of Game Logic. 43-47
Theoretical Foundations
- Dexter Kozen, Konstantinos Mamouras, Alexandra Silva:
Completeness and Incompleteness in Nominal Kleene Algebra. 51-66 - Rudolf Berghammer, Walter Guttmann:
Closure, Properties and Closure Properties of Multirelations. 67-83 - Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari:
Relational Formalisations of Compositions and Liftings of Multirelations. 84-100 - Dylan Killingbeck, Milene Santos Teixeira, Michael Winter:
Relations among Matrices over a Semiring. 101-118 - Fredrik Dahlqvist, David J. Pym:
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. 119-135 - Bartosz Zielinski:
Generalised N-ary Relations and Allegories. 136-150 - Musa Al-hassy, Wolfram Kahl:
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets. 151-168
Reasoning about Computations and Programs
- José Nuno Oliveira:
Metaphorisms in Programming. 171-190 - Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili:
Relational Mathematics for Relative Correctness. 191-208 - Kim Solin:
Encoding and Decoding in Refinement Algebra. 209-224 - Stef M. M. Joosten, Sebastiaan J. C. Joosten:
Type Checking by Domain Analysis in Ampersand. 225-240 - Roland Glück, Florian Benedikt Krebs:
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV. 241-256 - Rudolf Berghammer, Insa Stucke, Michael Winter:
Investigating and Computing Bipartitions with Algebraic Means. 257-274 - Rudolf Berghammer, Peter Höfner, Insa Stucke:
Tool-Based Verification of a Relational Vertex Coloring Program. 275-292
Applications of Relational and Algebraic Methods
- Evans Adjei, Wazed Chowdhury, Michael Winter:
L-Fuzzy Databases in Arrow Categories. 295-311 - Abdelaali Hassaïne, Souad Mecheter, Ali Jaoua:
Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification. 312-325 - Nikolai Krivulin:
Solving a Tropical Optimization Problem via Matrix Sparsification. 326-343 - Bernhard Möller:
Towards Antichain Algebra. 344-361 - Patrick Roocks:
Decomposition of Database Preferences on the Power Set of the Domain. 362-379 - Martin E. Müller:
Roughness by Residuals - Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations. 380-394
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-12-04 22:06 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:
