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

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer International Publishing

9783030021481, 9783030021498

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finite Relation Algebras with Normal Representations

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

10.1007/978-3-030-02149-8_1 ◽

2018 ◽

pp. 3-17 ◽

Author(s):

Manuel Bodirsky

Keyword(s):

Relation Algebras

Download Full-text

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

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

10.1007/978-3-030-02149-8_13 ◽

2018 ◽

pp. 205-224 ◽

Author(s):

Simon Foster ◽

Kangfeng Ye ◽

Ana Cavalcanti ◽

Jim Woodcock

Keyword(s):

Kleene Algebra ◽

Reactive Programs

Download Full-text

T-Norm Based Operations in Arrow Categories

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

10.1007/978-3-030-02149-8_5 ◽

2018 ◽

pp. 70-86 ◽

Author(s):

Michael Winter

Download Full-text

Axiomatizing Discrete Spatial Relations

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

10.1007/978-3-030-02149-8_8 ◽

2018 ◽

pp. 113-130

Author(s):

Giulia Sindoni ◽

Katsuhiko Sano ◽

John G. Stell

Keyword(s):

Spatial Relations

Download Full-text

On the Structure of Generalized Effect Algebras and Separation Algebras

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

10.1007/978-3-030-02149-8_10 ◽

2018 ◽

pp. 148-165

Author(s):

Sarah Alexander ◽

Peter Jipsen ◽

Nadiya Upegui

Keyword(s):

Effect Algebras ◽

Generalized Effect Algebras

Download Full-text

A Modal and Relevance Logic for Qualitative Spatial Reasoning

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

10.1007/978-3-030-02149-8_9 ◽

2018 ◽

pp. 131-147

Author(s):

Pranab Kumar Ghosh ◽

Michael Winter

Keyword(s):

Spatial Reasoning ◽

Relevance Logic ◽

Qualitative Spatial Reasoning

Download Full-text

C-Dioids and $$\mu $$-Continuous Chomsky-Algebras

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

10.1007/978-3-030-02149-8_2 ◽

2018 ◽

pp. 21-36 ◽

Author(s):

Hans Leiß ◽

Mark Hopkins

Download Full-text

Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad

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

10.1007/978-3-030-02149-8_7 ◽

2018 ◽

pp. 97-112

Author(s):

Koki Nishizawa ◽

Norihiro Tsumagari

Keyword(s):

Kleisli Category

Download Full-text

On the Computational Complexity of Non-dictatorial Aggregation

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

10.1007/978-3-030-02149-8_21 ◽

2018 ◽

pp. 350-365

Author(s):

Lefteris Kirousis ◽

Phokion G. Kolaitis ◽

John Livieratos

Keyword(s):

Computational Complexity

Download Full-text

Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems

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

10.1007/978-3-030-02149-8_19 ◽

2018 ◽

pp. 317-332 ◽

Author(s):

Nikolai Krivulin

Keyword(s):

Location Problems ◽

Algebraic Solution ◽

Single Facility

Download Full-text