default search action
14. RAMICS 2014: Marienstatt, Germany
- Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller:
Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings. Lecture Notes in Computer Science 8428, Springer 2014, ISBN 978-3-319-06250-1
Concurrent Kleene Algebras and Related Formalisms
- Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn:
Developments in Concurrent Kleene Algebra. 1-18 - Jason Jaskolka, Ridha Khédri, Qinglei Zhang:
Endowing Concurrent Kleene Algebra with Communication Actions. 19-36 - Peter Jipsen:
Concurrent Kleene Algebra with Tests. 37-48 - Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Algebras for Program Correctness in Isabelle/HOL. 49-64 - Michael R. Laurence, Georg Struth:
Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages. 65-82 - Takeo Uramoto:
A Modified Completeness Theorem of KAT and Decidability of Term Reducibility. 83-100 - Paul Brunet, Damien Pous:
Kleene Algebra with Converse. 101-118
Reasoning About Computations and Programs
- José Nuno Oliveira:
Preparing Relational Algebra for "Just Good Enough" Hardware. 119-138 - Walter Guttmann:
Extended Conscriptions Algebraically. 139-156 - Han-Hing Dang:
Abstract Dynamic Frames. 157-172 - Rudolf Berghammer, Peter Höfner, Insa Stucke:
Automated Verification of Relational While-Programs. 173-190 - Ali Mili, Marcelo F. Frias, Ali Jaoua:
On Faults and Faulty Programs. 191-207 - S. Arun-Kumar, Divyanshu Bagga:
Parameterised Bisimulations: Some Applications. 208-225
Heterogeneous and Categorical Approaches
- Gunther Schmidt:
A Point-Free Relation-Algebraic Approach to General Topology. 226-241 - Wolfram Kahl:
A Mechanised Abstract Formalisation of Concept Lattices. 242-260 - Koki Nishizawa, Hitoshi Furusawa:
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories. 261-276 - Michael Winter:
Higher-Order Arrow Categories. 277-292 - Michael Winter, Ethan C. Jackson, Yuki Fujiwara:
Type-2 Fuzzy Controllers in Arrow Categories. 293-308
Applications of Relational and Algebraic Methods
- Rudolf Berghammer, Nikita Danilenko, Henning Schnoor:
Relation Algebra and RelView Applied to Approval Voting. 309-326 - Tadeusz Litak, Szabolcs Mikulás, Jan Hidders:
Relational Lattices. 327-343 - Martin Eric Müller:
Towards Finding Maximal Subrelations with Desired Properties. 344-361 - Nikolai Krivulin:
Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis. 362-378 - Manas Ghosh, Michael Winter:
Refinements of the RCC25 Composition Table. 379-394
Developments Related to Modal Logics and Lattices
- Jules Desharnais, Bernhard Möller:
Fuzzifying Modal Algebra. 395-411 - John G. Stell, Renate A. Schmidt, David E. Rydeheard:
Tableau Development for a Bi-intuitionistic Tense Logic. 412-428 - Joanna Ochremiak:
Nominal Sets over Algebraic Atoms. 429-445 - Sabine Frittella, Luigi Santocanale:
Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$. 446-462
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.