default search action
13. RAMICS 2012: Cambridge, UK
- Wolfram Kahl, Timothy G. Griffin:
Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings. Lecture Notes in Computer Science 7560, Springer 2012, ISBN 978-3-642-33313-2
Applications to Software Specification and Correctness
- Han-Hing Dang, Bernhard Möller:
Transitive Separation Logic. 1-16 - Walter Guttmann
:
Unifying Lazy and Strict Computations. 17-32 - Peter Höfner, Bernhard Möller, Andreas Zelend:
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. 33-49 - Brijesh Dongol
Towards an Algebra for Real-Time Programs. 50-65
Mechanised Resoning in Relational Algebras
- Alasdair Armstrong, Georg Struth:
Automated Reasoning in Higher-Order Regular Algebra. 66-81 - Wolfram Kahl:
Towards Certifiable Implementation of Graph Transformation via Relation Categories. 82-97 - Nelma Moreira
Deciding Regular Expressions (In-)Equivalence in Coq. 98-113
Algebraic Program Derivation
- Rudolf Berghammer, Sebastian Fischer:
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures. 114-129 - Nikita Danilenko:
Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings. 130-145 - Nuno Macedo
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. 146-161
Theoretical Foundations
- Dexter Kozen, Alexandra Silva:
Left-Handed Completeness. 162-178 - Michael R. Laurence, Georg Struth:
On Completeness of Omega-Regular Algebras. 179-194 - Peter Jipsen
Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings. 195-206 - Koki Nishizawa, Hitoshi Furusawa:
Relational Representation Theorem for Powerset Quantales. 207-218 - Hitoshi Furusawa, Yasuo Kawahara:
Point Axioms in Dedekind Categories. 219-234
Relations and Algorithms
- Roland Glück
Two Observations in Dioid Based Model Refinement. 235-247 - Francis Atampore, Michael Winter
Relation Algebras, Matrices, and Multi-valued Decision Diagrams. 248-263 - Sahar Ahmad Ismail, Ali Jaoua
Incremental Pseudo Rectangular Organization of Information Relative to a Domain. 264-277
Preference Relations
- Gunther Schmidt
Relational Concepts in Social Choice. 278-293 - Bernhard Möller, Patrick Roocks:
An Algebra of Layered Complex Preferences. 294-309
Properties of Specialised Relations
- Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara:
Continuous Relations and Richardson's Theorem. 310-325 - John G. Stell
Relations on Hypergraphs. 326-341 - Ivo Düntsch
Extension Properties of Boolean Contact Algebras. 342-356
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 2024-12-22 18:47 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: