Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. (2017)

• Record Type: Book
• Other Titles: RAMiCS 2017
• Further Information: Note: Peter Höfner, Damien Pous, Georg Struth (eds.).
• Editors: Höfner, Peter; Pous, Damien; Struth, Georg
• Other Names: RAMiCS (Conference), 16th
• 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (xiv, 323 pages), illustrations
• Subjects: 004.01/51; Computer science; Computer science -- Mathematics -- Congresses; Algebraic logic -- Congresses; Relation algebras -- Congresses; Algebraic logic; Computer science -- Mathematics; Relation algebras; Computer Science; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Logics and Meanings of Programs; Software Engineering; Artificial Intelligence (incl. Robotics); Discrete Mathematics in Computer Science; Computers -- Data Processing; Computers -- Programming -- General; Computers -- Software Development & Engineering -- General; Computers -- Intelligence (AI) & Semantics; Maths for computer scientists; Computer programming / software development; Software Engineering; Artificial intelligence; Discrete mathematics; Algebra -- Data processing; Logic design; Software engineering; Artificial intelligence; Computational complexity; Mathematics -- Logic; Mathematical theory of computation; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319574189; 3319574183; 3319574175; 9783319574172
• Related ISBNs: 9783319574172
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed May 15, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.