![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
16. 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.