دانلود کتاب Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

فهرست مطالب :

Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Dual Space of a Lattice as the Completion of a Pervin Space....Pages 24-40
Front Matter....Pages 41-41
Relations as Images....Pages 43-59
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces....Pages 60-76
Varieties of Cubical Sets....Pages 77-92
Non-associative Kleene Algebra and Temporal Logics....Pages 93-108
Algebraic Investigation of Connected Components....Pages 109-126
Stone Relation Algebras....Pages 127-143
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras....Pages 144-158
Parsing and Printing of and with Triples....Pages 159-176
Software Development in Relation Algebra with Ampersand....Pages 177-192
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras....Pages 193-208
Aggregation of Votes with Multiple Positions on Each Issue....Pages 209-225
Complete Solution of an Optimization Problem in Tropical Semifield....Pages 226-241
Concurrency-Preserving Minimal Process Representation....Pages 242-257
Embeddability into Relational Lattices Is Undecidable....Pages 258-273
Tower Induction and Up-to Techniques for CCS with Fixed Points....Pages 274-289
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants....Pages 290-306
Type-n Arrow Categories....Pages 307-322
Back Matter....Pages 323-323