default search action

combined dblp search
author search
venue search
publication search

ask others

16. RAMICS 2017: Lyon, France

> Home > Conferences and Workshops > RAMICS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/2017
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

- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/McIverMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/McIverMR17
Annabelle McIver, Carroll C. Morgan, Tahiry M. Rabehaja:
Algebra for Quantitative Information Flow. 3-23
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Pin17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Pin17
Jean-Éric Pin:
Dual Space of a Lattice as the Completion of a Pervin Space - Extended Abstract. 24-40

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/AlainD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/AlainD17
Mathieu Alain, Jules Desharnais:
Relations as Images. 43-59
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Berghammer17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Berghammer17
Rudolf Berghammer:
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces. 60-76
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/BuchholtzM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/BuchholtzM17
Ulrik Buchholtz, Edward Morehouse:
Varieties of Cubical Sets. 77-92
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/DesharnaisM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/DesharnaisM17
Jules Desharnais, Bernhard Möller:
Non-associative Kleene Algebra and Temporal Logics. 93-108
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Gluck17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Gluck17
Roland Glück:
Algebraic Investigation of Connected Components. 109-126
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Guttmann17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Guttmann17
Walter Guttmann:
Stone Relation Algebras. 127-143
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Jipsen17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Jipsen17
Peter Jipsen:
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras. 144-158
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Joosten17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Joosten17
Sebastiaan J. C. Joosten:
Parsing and Printing of and with Triples. 159-176
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Joosten17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Joosten17a
Stef Joosten:
Software Development in Relation Algebra with Ampersand. 177-192
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Kahl17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Kahl17
Wolfram Kahl:
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras. 193-208
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/KirousisKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/KirousisKL17
Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos:
Aggregation of Votes with Multiple Positions on Each Issue. 209-225
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Krivulin17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Krivulin17
Nikolai Krivulin:
Complete Solution of an Optimization Problem in Tropical Semifield. 226-241
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Puerto17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Puerto17
Adrián Puerto Aubel:
Concurrency-Preserving Minimal Process Representation. 242-257
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Santocanale17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Santocanale17
Luigi Santocanale:
Embeddability into Relational Lattices Is Undecidable. 258-273
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/SchaferS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/SchaferS17
Steven Schäfer, Gert Smolka:
Tower Induction and Up-to Techniques for CCS with Fixed Points. 274-289
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Stucke17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Stucke17
Insa Stucke:
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants. 290-306
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Winter17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Winter17
Michael Winter:
Type-n Arrow Categories. 307-322

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.