Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings - Höfner, Peter; Pous, Damien; Struth, Georg; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
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.
Keywords: Mathematical logic; Computer science-Mathematics.; Computer logic; Software engineering; Artificial intelligence; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Logics and Meanings of Programs; Software Engineering; Artificial Intelligence; Discrete Mathematics in Computer Science