Buch, Englisch, 323 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 5153 g
16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Buch, Englisch, 323 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 5153 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-319-57417-2
Verlag: Springer International Publishing
The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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 aboutCardinalities of Relations with Applications Supported by Proof Assistants.- Type-n Arrow Categories.
