default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. RAMICS 2011: Rotterdam, The Netherlands
- Harrie C. M. de Swart:
Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings. Lecture Notes in Computer Science 6663, Springer 2011, ISBN 978-3-642-21069-3 - Bernhard Möller:
Building Structured Theories - (Invited Paper). 1-21 - Agnieszka Rusinowska
, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch:
Social Networks: Prestige, Centrality, and Influence - (Invited Paper). 22-39 - Renate A. Schmidt:
Synthesising Terminating Tableau Calculi for Relational Logics - (Invited Paper). 40-49 - Felix Brandt:
From Arrow's Impossibility to Schwartz's Tournament Equilibrium Set - (Invited Tutorial). 50-51 - Simon Foster, Georg Struth, Tjark Weber:
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). 52-67 - Donald G. Saari:
Explaining Voting Paradoxes; Including Arrow's and Sen's Theorems - (Invited Tutorial). 68-69 - Michael Winter:
Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial). 70-73 - Bahar Aameri, Michael Winter:
A First-Order Calculus for Allegories. 74-91 - Rudolf Berghammer:
Relational Modelling and Solution of Chessboard Problems. 92-108 - Rudolf Berghammer:
A Functional, Successor List Based Version of Warshall's Algorithm with Applications. 109-124 - Han-Hing Dang, Peter Höfner:
Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. 125-140 - Ivo Düntsch, Ewa Orlowska:
An Algebraic Approach to Preference Relations. 141-147 - Hitoshi Furusawa, Koki Nishizawa:
Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings. 148-163 - Roland Glück:
Using Bisimulations for Optimality Problems in Model Refinement. 164-179 - Alexander J. T. Gurney, Timothy G. Griffin:
Pathfinding through Congruences. 180-195 - Walter Guttmann:
Towards a Typed Omega Algebra. 196-211 - Peter Höfner, Annabelle McIver:
Towards an Algebra of Routing Tables. 212-229 - Wolfram Kahl:
Dependently-Typed Formalisation of Relation-Algebraic Abstractions. 230-247 - Michael R. Laurence, Georg Struth:
Omega Algebras and Regular Equations. 248-263 - Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
On Probabilistic Kleene Algebras, Automata and Simulations. 264-279 - Gerard Michels, Sebastiaan J. C. Joosten, Jaap van der Woude, Stef Joosten:
Ampersand - Applying Relation Algebra in Practice. 280-293 - Shin-Cheng Mu, José Nuno Oliveira:
Programming from Galois Connections. 294-313 - Gunther Schmidt:
Constructions around Partialities. 314-330 - Prathap Siddavaatam, Michael Winter:
Splitting Atoms in Relational Algebras. 331-346 - Jaap van der Woude, Stef Joosten:
Relational Heterogeneity Relaxed by Subtyping. 347-361
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-11-08 20:17 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:
