Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16. RAMICS 2017: Lyon, France
- Peter Höfner, Damien Pous, Georg Struth:
Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. Lecture Notes in Computer Science 10226, 2017, ISBN 978-3-319-57417-2
Invited Papers
- Annabelle McIver
, Carroll C. Morgan, Tahiry M. Rabehaja:
Algebra for Quantitative Information Flow. 3-23 - Jean-Éric Pin:
Dual Space of a Lattice as the Completion of a Pervin Space - Extended Abstract. 24-40
Contributed Papers
- Mathieu Alain, Jules Desharnais:
Relations as Images. 43-59 - Rudolf Berghammer:
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces. 60-76 - Ulrik Buchholtz, Edward Morehouse:
Varieties of Cubical Sets. 77-92 - Jules Desharnais, Bernhard Möller:
Non-associative Kleene Algebra and Temporal Logics. 93-108 - Roland Glück:
Algebraic Investigation of Connected Components. 109-126 - Walter Guttmann:
Stone Relation Algebras. 127-143 - Peter Jipsen:
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras. 144-158 - Sebastiaan J. C. Joosten:
Parsing and Printing of and with Triples. 159-176 - Stef Joosten:
Software Development in Relation Algebra with Ampersand. 177-192 - Wolfram Kahl:
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras. 193-208 - Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos:
Aggregation of Votes with Multiple Positions on Each Issue. 209-225 - Nikolai Krivulin:
Complete Solution of an Optimization Problem in Tropical Semifield. 226-241 - Adrián Puerto Aubel:
Concurrency-Preserving Minimal Process Representation. 242-257 - Luigi Santocanale:
Embeddability into Relational Lattices Is Undecidable. 258-273 - Steven Schäfer, Gert Smolka:
Tower Induction and Up-to Techniques for CCS with Fixed Points. 274-289 - Insa Stucke:
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants. 290-306 - Michael Winter:
Type-n Arrow Categories. 307-322
a service of 
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-08-18 22:19 CEST 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:
