Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes |
Contextuality in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 52-68, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Relational Algebraic Approach to the Real Numbers the Additive Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 274-292, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | José Gil-Férez, Peter Jipsen, Siddhartha Lodhia |
The Structure of Locally Integral Involutive Po-monoids and Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 69-86, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Michael Winter 0001 |
A General Method for Representing Sets of Relations by Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 34-51, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Peter Jipsen, Jas Semrl |
Representable and Diagonally Representable Weakening Relation Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 140-157, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück |
Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 87-104, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Arman Shamsgovara |
Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 224-240, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mark Hopkins, Hans Leiß |
Normal Forms for Elements of the *-continuous Kleene Algebras $K\mathop {\otimes _\mathcal{R}}C_2'$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 122-139, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chris Heunen, Jesse Sigal |
Duoidally Enriched Freyd Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 241-257, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück, Luigi Santocanale, Michael Winter 0001 (eds.) |
Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![Springer, 978-3-031-28082-5 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Igor Sedlár |
On the Complexity of Kleene Algebra with Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 208-223, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Lewis-Smith, Jas Semrl |
Implication Algebras and Implication Semigroups of Binary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 194-207, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Kappé |
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 158-175, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy F. Alm, David Andrews, Michael Levet |
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 17-33, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Anton Varonka |
What Else is Undecidable About Loops? ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 176-193, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Aguzzoli, Matteo Bianchi 0001 |
Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 1-16, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann |
Dependences Between Domain Constructions in Heterogeneous Relation Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 105-121, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Baltasar Trancón y Widemann, Markus Lepper 0001 |
Towards a Theory of Conversion Relations for Prefixed Units of Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 258-273, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann, Nicolas Robinson-O'Brien |
Relation-Algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 225-240, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kangfeng Ye, Simon Foster 0001, Jim Woodcock 0001 |
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 465-482, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cameron Calk, Eric Goubault, Philippe Malbos |
Abstract Strategies and Coherence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 108-125, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Naaf |
Computing Least and Greatest Fixed Points in Absorptive Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 344-361, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chad Nester |
A Variety Theorem for Relational Universal Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 362-377, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Santocanale |
Skew Metrics Valued in Sugihara Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 396-412, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lucas, Matteo Mio |
Free Modal Riesz Spaces are Archimedean: A Syntactic Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 275-291, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Change of Base Using Arrow Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 448-464, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Callum Bannister, Peter Höfner, Georg Struth |
Effect Algebras, Girard Quantales and Complementation in Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 37-53, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Natanael Alpay, Peter Jipsen, Melissa Sugimoto |
Unary-Determined Distributive ℓ-magmas and Bunched Implication Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 19-36, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi |
Time Warps, from Algebra to Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 309-324, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann |
Second-Order Properties of Undirected Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 209-224, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Willem Conradie, Valentin Goranko, Peter Jipsen |
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 126-143, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski |
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 90-107, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev |
Deciding FO-definability of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 241-257, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank Valencia |
Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 413-432, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wesley Fussner, William Javier Zuluaga Botero |
Some Modal and Temporal Translations of Generalized Basic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 176-191, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Marquès |
Polyadic Spaces and Profinite Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 292-308, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück |
Isolated Sublattices and Their Application to Counting Closure Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 192-208, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer |
Relational Computation of Sets of Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 54-71, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter 0001 (eds.) |
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![Springer, 978-3-030-88700-1 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Mitja Kulczynski |
Experimental Investigation of Sufficient Criteria for Relations to Have Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 72-89, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Aguzzoli, Matteo Bianchi 0001 |
Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 1-18, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Relational Sums and Splittings in Categories of L-fuzzy Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 433-447, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Fernandez, Luidnel Maignan, Antoine Spicher |
Accretive Computation of Global Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 159-175, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Möller, Peter W. O'Hearn, Tony Hoare |
On Algebra of Program Correctness and Incorrectness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 325-343, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jas Semrl |
Domain Range Semigroups and Finite Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 483-498, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Damien Pous, Jurriaan Rot, Jana Wagemaker |
On Tools for Completeness of Kleene Algebra with Hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 378-395, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Amina Doumane |
The Class of Representable Semilattice-Ordered Monoids Is Not a Variety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 144-158, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stepan L. Kuznetsov |
Relational Models for the Lambek Calculus with Intersection and Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 258-274, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Simon Foster 0001, Jonathan Julián Huerta y Munive, Georg Struth |
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 169-186, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jules Desharnais, Bernhard Möller |
The θ-Join as a Join with θ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 47-64, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann, Bernhard Möller |
A Hierarchy of Algebras for Boolean Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 152-168, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa |
Preorders, Partial Semigroups, and Quantales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 237-252, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia |
Counting and Computing Join-Endomorphisms in Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 253-269, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa |
Generating Posets Beyond N. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 82-99, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Ribeiro 0002 |
A Unary Semigroup Trace Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 270-285, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Natanael Alpay, Peter Jipsen |
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 1-14, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Santocanale |
The Involutive Quantaloid of Completely Distributive Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 286-301, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihiro Maruyama |
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 187-203, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Peter Jipsen, Michael Winter 0001 (eds.) |
Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![Springer, 978-3-030-43519-6 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Nakamura 0001 |
Expressive Power and Succinctness of the Positive Calculus of Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 204-220, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida |
Stone Dualities from Opfibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 221-236, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simon Foster 0001, James Baxter 0001 |
Automated Algebraic Reasoning for Collections and Local Variables with Lenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 100-116, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda |
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 302-317, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Galatos, Peter Jipsen |
Weakening Relation Algebras and FL2-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 117-133, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Sharpness in the Fuzzy World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 318-334, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky, Simon Knäuer |
Hardness of Network Satisfaction for Relation Algebras with Normal Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 31-46, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Dubut |
Bisimilarity of Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 65-81, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann |
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 134-151, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer |
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 15-30, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky |
Finite Relation Algebras with Normal Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 3-17, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos |
On the Computational Complexity of Non-dictatorial Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 350-365, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Alexander, Peter Jipsen, Nadiya Upegui |
On the Structure of Generalized Effect Algebras and Separation Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 148-165, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robin Hirsch |
Decidability of Equational Theories for Subsignatures of Relation Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 87-96, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
T-Norm Based Operations in Arrow Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 70-86, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jessica Ertel, Roland Glück, Bernhard Möller |
Algebraic Derivation of Until Rules and Application to Timer Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 244-262, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maria João Gouveia, Luigi Santocanale |
MIX \star -Autonomous Quantales and the Continuous Weak Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 184-201, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hans Leiß, Mark Hopkins |
C-Dioids and \mu -Continuous Chomsky-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 21-36, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Callum Bannister, Peter Höfner |
False Failure: Creating Failure Models for Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 263-279, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Koki Nishizawa, Norihiro Tsumagari |
Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 97-112, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simon Foster 0001, Kangfeng Ye, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 205-224, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jules Desharnais, Walter Guttmann, Stef Joosten (eds.) |
Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![Springer, 978-3-030-02148-1 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück |
Distances, Norms and Error Propagation in Idempotent Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 53-69, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pranab Kumar Ghosh, Michael Winter 0001 |
A Modal and Relevance Logic for Qualitative Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 131-147, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Malvin Gattinger, Jana Wagemaker |
Towards an Analysis of Dynamic Gossip in Netkat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 280-297, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maximiliano Cristiá, Gianfranco Rossi |
A Set Solver for Finite Set Relation Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 333-349, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bonzio, Michele Pra Baldi, Diego Valota |
Counting Finite Linearly Ordered Involutive Bisemilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 166-183, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl |
Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 366-384, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mark Hopkins, Hans Leiß |
Coequalizers and Tensor Products for Continuous Idempotent Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 37-52, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen, Matvey Soloviev |
Coalgebraic Tools for Randomness-Conserving Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 298-313, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Julián Huerta y Munive, Georg Struth |
Verifying Hybrid Systems with Modal Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 225-243, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giulia Sindoni, Katsuhiko Sano, John G. Stell |
Axiomatizing Discrete Spatial Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 113-130, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Krivulin |
Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 317-332, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Insa Stucke |
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, pp. 290-306, 2017, 978-3-319-57417-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Steven Schäfer, Gert Smolka |
Tower Induction and Up-to Techniques for CCS with Fixed Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, pp. 274-289, 2017, 978-3-319-57417-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Puerto Aubel |
Concurrency-Preserving Minimal Process Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, pp. 242-257, 2017, 978-3-319-57417-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sebastiaan J. C. Joosten |
Parsing and Printing of and with Triples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, pp. 159-176, 2017, 978-3-319-57417-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Jipsen |
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, pp. 144-158, 2017, 978-3-319-57417-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl |
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, pp. 193-208, 2017, 978-3-319-57417-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann |
Stone Relation Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, pp. 127-143, 2017, 978-3-319-57417-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Type-n Arrow Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, pp. 307-322, 2017, 978-3-319-57417-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|