Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

Peter Höfner, Damien Pous, Georg Struth, editors, Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. Volume 10226 of Lecture Notes in Computer Science, 2017. [doi]

Conference: RelMiCS2017

Abstract is missing.

Algebra for Quantitative Information FlowAnnabelle McIver, Carroll C. Morgan, Tahiry M. Rabehaja. 3-23 [doi]

Dual Space of a Lattice as the Completion of a Pervin Space - Extended AbstractJean-Éric Pin. 24-40 [doi]

Relations as ImagesMathieu Alain, Jules Desharnais. 43-59 [doi]

Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological SpacesRudolf Berghammer. 60-76 [doi]

Varieties of Cubical SetsUlrik Buchholtz, Edward Morehouse. 77-92 [doi]

Non-associative Kleene Algebra and Temporal LogicsJules Desharnais, Bernhard Möller. 93-108 [doi]

Algebraic Investigation of Connected ComponentsRoland Glück. 109-126 [doi]

Stone Relation AlgebrasWalter Guttmann. 127-143 [doi]

Relation Algebras, Idempotent Semirings and Generalized Bunched Implication AlgebrasPeter Jipsen. 144-158 [doi]

Parsing and Printing of and with TriplesSebastiaan J. C. Joosten. 159-176 [doi]

Software Development in Relation Algebra with AmpersandStef Joosten. 177-192 [doi]

Allegories and Collagories for Transformation of Graph Structures Considered as CoalgebrasWolfram Kahl. 193-208 [doi]

Aggregation of Votes with Multiple Positions on Each IssueLefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos. 209-225 [doi]

Complete Solution of an Optimization Problem in Tropical SemifieldNikolai Krivulin. 226-241 [doi]

Concurrency-Preserving Minimal Process RepresentationAdrián Puerto. 242-257 [doi]

Embeddability into Relational Lattices Is UndecidableLuigi Santocanale. 258-273 [doi]

Tower Induction and Up-to Techniques for CCS with Fixed PointsSteven Schäfer, Gert Smolka. 274-289 [doi]

Reasoning About Cardinalities of Relations with Applications Supported by Proof AssistantsInsa Stucke. 290-306 [doi]

Type-n Arrow CategoriesMichael Winter. 307-322 [doi]

runs on WebDSL