Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer International Publishing

9783319574172, 9783319574189

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57418-9_18 ◽

2017 ◽

pp. 290-306 ◽

Author(s):

Insa Stucke

Keyword(s):

Proof Assistants

Download Full-text

Algebra for Quantitative Information Flow

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57418-9_1 ◽

2017 ◽

pp. 3-23 ◽

Author(s):

A. K. McIver ◽

C. C. Morgan ◽

T. Rabehaja

Keyword(s):

Information Flow ◽

Quantitative Information ◽

Quantitative Information Flow

Download Full-text

Stone Relation Algebras

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57418-9_8 ◽

2017 ◽

pp. 127-143 ◽

Author(s):

Walter Guttmann

Keyword(s):

Relation Algebras

Download Full-text

Software Development in Relation Algebra with Ampersand

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57418-9_11 ◽

2017 ◽

pp. 177-192 ◽

Author(s):

Stef Joosten

Keyword(s):

Software Development ◽

Relation Algebra

Download Full-text

Relations as Images

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57418-9_3 ◽

2017 ◽

pp. 43-59

Author(s):

Mathieu Alain ◽

Jules Desharnais

Download Full-text

Varieties of Cubical Sets

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57418-9_5 ◽

2017 ◽

pp. 77-92

Author(s):

Ulrik Buchholtz ◽

Edward Morehouse

Keyword(s):

Download Full-text

Type-n Arrow Categories

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57418-9_19 ◽

2017 ◽

pp. 307-322 ◽

Author(s):

Michael Winter

Download Full-text

Tower Induction and Up-to Techniques for CCS with Fixed Points

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57418-9_17 ◽

2017 ◽

pp. 274-289 ◽

Author(s):

Steven Schäfer ◽

Gert Smolka

Keyword(s):

Download Full-text

Embeddability into Relational Lattices Is Undecidable

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57418-9_16 ◽

2017 ◽

pp. 258-273 ◽

Author(s):

Luigi Santocanale

Download Full-text

Aggregation of Votes with Multiple Positions on Each Issue

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57418-9_13 ◽

2017 ◽

pp. 209-225 ◽

Author(s):

Lefteris Kirousis ◽

Phokion G. Kolaitis ◽

John Livieratos

Download Full-text