Relational and Algebraic Methods in Computer Science
-15%
portes grátis
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
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