Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Theoretical Computer Science and General Issues ;
10226 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-319-57418-9 |
Table of Contents:
- Algebra for Quantitative Information Flow
- Dual space of a lattice as the completion of a Pervin space
- Images as relations under RelView
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
- Varieties of Cubical Sets
- Non-Associative Kleene Algebra and Temporal Logics
- Algebraic Investigation of Connected Components
- Stone Relation Algebras
- Relation algebras, idempotent semirings and generalized bunched implication algebras
- Parsing and Printing of and with Triples
- Software Development in Relation Algebra with Ampersand
- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras
- Aggregation of Votes with Multiple Positions on Each Issue
- Complete solution of an optimization problem in tropical semifield
- Concurrency-Preserving Minimal Process Representation
- Embeddability into relational lattices is undecibable
- Tower Induction and Up-To Techniques for CCS with Fixed Points
- Reasoning about Cardinalities of Relations with Applications Supported by Proof Assistants
- Type-n Arrow Categories.