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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319247038, 9783319247045

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

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

10.1007/978-3-319-24704-5_15 ◽

2015 ◽

pp. 241-256 ◽

Cited By ~ 3

Author(s):

Roland Glück ◽

Florian Benedikt Krebs

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Kleene Algebra ◽

Logic Controllers

Download Full-text

Relations among Matrices over a Semiring

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

10.1007/978-3-319-24704-5_7 ◽

2015 ◽

pp. 101-118 ◽

Cited By ~ 2

Author(s):

Dylan Killingbeck ◽

Milene Santos Teixeira ◽

Michael Winter

Download Full-text

Relational Mathematics for Relative Correctness

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

10.1007/978-3-319-24704-5_12 ◽

2015 ◽

pp. 191-208 ◽

Cited By ~ 5

Author(s):

Jules Desharnais ◽

Nafi Diallo ◽

Wided Ghardallou ◽

Marcelo F. Frias ◽

Ali Jaoua ◽

...

Download Full-text

Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets

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

10.1007/978-3-319-24704-5_10 ◽

2015 ◽

pp. 151-168

Author(s):

Musa Al-hassy ◽

Wolfram Kahl

Keyword(s):

Order Theory ◽

Ordered Categories ◽

Algebraic Order

Download Full-text

Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective

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

10.1007/978-3-319-24704-5_8 ◽

2015 ◽

pp. 119-135 ◽

Cited By ~ 2

Author(s):

Fredrik Dahlqvist ◽

David Pym

Keyword(s):

Substructural Logics

Download Full-text

Towards Antichain Algebra

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

10.1007/978-3-319-24704-5_21 ◽

2015 ◽

pp. 344-361

Author(s):

Bernhard Möller

Download Full-text

Connections between Relation Algebras and Cylindric Algebras

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

10.1007/978-3-319-24704-5_2 ◽

2015 ◽

pp. 27-42

Author(s):

Ian Hodkinson

Keyword(s):

Relation Algebras ◽

Cylindric Algebras

Download Full-text

Investigating and Computing Bipartitions with Algebraic Means

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

10.1007/978-3-319-24704-5_16 ◽

2015 ◽

pp. 257-274 ◽

Cited By ~ 2

Author(s):

Rudolf Berghammer ◽

Insa Stucke ◽

Michael Winter

Download Full-text

Type Checking by Domain Analysis in Ampersand

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

10.1007/978-3-319-24704-5_14 ◽

2015 ◽

pp. 225-240 ◽

Cited By ~ 2

Author(s):

Stef M. M. Joosten ◽

Sebastiaan J. C. Joosten

Keyword(s):

Domain Analysis ◽

Type Checking

Download Full-text

Towards a Probabilistic Interpretation of Game Logic

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

10.1007/978-3-319-24704-5_3 ◽

2015 ◽

pp. 43-47 ◽

Cited By ~ 1

Author(s):

Ernst-Erich Doberkat

Keyword(s):

Probabilistic Interpretation ◽

Game Logic

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

Relations among Matrices over a Semiring

Relational Mathematics for Relative Correctness

Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets

Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective

Towards Antichain Algebra

Connections between Relation Algebras and Cylindric Algebras

Investigating and Computing Bipartitions with Algebraic Means

Type Checking by Domain Analysis in Ampersand

Towards a Probabilistic Interpretation of Game Logic

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