Relational and Algebraic Methods in Computer Science

Relational and Algebraic Methods in Computer Science

16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Struth, Georg; Pous, Damien; Hoefner, Peter

Springer International Publishing AG

04/2017

323

Mole

Inglês

9783319574172

15 a 20 dias

5153

Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
big software;dynamic systems;open source software;probabilistic semantics;semantics;boolean algebra;coalgebras;concurrency;constraint satisfaction;graph transformation;information flow;information systems design;isabelle/hol;partial order;programming language;security;software development;source code;temporal logic;xml documents