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

9783030021481, 9783030021498

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 4

Author(s):

Simon Foster ◽

Kangfeng Ye ◽

Ana Cavalcanti ◽

Jim Woodcock

Keyword(s):

Kleene Algebra ◽

Reactive Programs

Download Full-text

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 ◽

Cited By ~ 1

Author(s):

Manuel Bodirsky

Keyword(s):

Relation Algebras

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

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 1

Author(s):

Hans Leiß ◽

Mark Hopkins

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 ◽

Cited By ~ 1

Author(s):

Nikolai Krivulin

Keyword(s):

Location Problems ◽

Algebraic Solution ◽

Single Facility

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

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

Finite Relation Algebras with Normal Representations

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

T-Norm Based Operations in Arrow Categories

Axiomatizing Discrete Spatial Relations

On the Structure of Generalized Effect Algebras and Separation Algebras

A Modal and Relevance Logic for Qualitative Spatial Reasoning

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

On the Computational Complexity of Non-dictatorial Aggregation

Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems

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