Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642046384, 9783642046391

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

General Correctness Algebra

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04639-1_11 ◽

2009 ◽

pp. 150-165 ◽

Cited By ~ 5

Author(s):

Walter Guttmann

Download Full-text

On the Skeleton of Stonian p-Ortholattices

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04639-1_24 ◽

2009 ◽

pp. 351-365 ◽

Cited By ~ 4

Author(s):

Michael Winter ◽

Torsten Hahmann ◽

Michael Gruninger

Download Full-text

Complements in Distributive Allegories

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04639-1_23 ◽

2009 ◽

pp. 337-350 ◽

Cited By ~ 2

Author(s):

Michael Winter

Download Full-text

Discrete Duality for Relation Algebras and Cylindric Algebras

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04639-1_20 ◽

2009 ◽

pp. 291-305 ◽

Cited By ~ 3

Author(s):

Ewa Orłowska ◽

Ingrid Rewitzky

Keyword(s):

Relation Algebras ◽

Cylindric Algebras

Download Full-text

Armstrong’s Inference Rules in Dedekind Categories

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04639-1_13 ◽

2009 ◽

pp. 187-198

Author(s):

Toshikazu Ishida ◽

Kazumasa Honda ◽

Yasuo Kawahara

Keyword(s):

Inference Rules

Download Full-text

A Relation-Algebraic Approach to Liveness of Place/Transition Nets

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04639-1_8 ◽

2009 ◽

pp. 103-118

Author(s):

Alexander Fronk ◽

Rudolf Berghammer

Keyword(s):

Algebraic Approach

Download Full-text

Knowledge and Structure in Social Algorithms

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04639-1_1 ◽

2009 ◽

pp. 1-12 ◽

Cited By ~ 1

Author(s):

Rohit Parikh

Keyword(s):

Social Algorithms

Download Full-text

Computational Social Choice Using Relation Algebra and RelView

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04639-1_2 ◽

2009 ◽

pp. 13-28 ◽

Cited By ~ 1

Author(s):

Harrie de Swart ◽

Rudolf Berghammer ◽

Agnieszka Rusinowska

Keyword(s):

Social Choice ◽

Relation Algebra ◽

Computational Social Choice

Download Full-text

Foundations of Concurrent Kleene Algebra

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04639-1_12 ◽

2009 ◽

pp. 166-186 ◽

Cited By ~ 3

Author(s):

C. A. R. Hoare ◽

Bernhard Möller ◽

Georg Struth ◽

Ian Wehrman

Keyword(s):

Kleene Algebra

Download Full-text

∗-Continuous Idempotent Left Semirings and Their Ideal Completion

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04639-1_9 ◽

2009 ◽

pp. 119-133

Author(s):

Hitoshi Furusawa ◽

Fumiya Sanda

Keyword(s):

Ideal Completion

Download Full-text

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

General Correctness Algebra

On the Skeleton of Stonian p-Ortholattices

Complements in Distributive Allegories

Discrete Duality for Relation Algebras and Cylindric Algebras

Armstrong’s Inference Rules in Dedekind Categories

A Relation-Algebraic Approach to Liveness of Place/Transition Nets

Knowledge and Structure in Social Algorithms

Computational Social Choice Using Relation Algebra and RelView

Foundations of Concurrent Kleene Algebra

∗-Continuous Idempotent Left Semirings and Their Ideal Completion

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science
Latest Publications