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

9783540378730, 9783540378747

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Cardinality of Relations

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

10.1007/11828563_17 ◽

2006 ◽

pp. 251-265 ◽

Cited By ~ 12

Author(s):

Yasuo Kawahara

Download Full-text

Algebraization of Hybrid Logic with Binders

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

10.1007/11828563_19 ◽

2006 ◽

pp. 281-295 ◽

Cited By ~ 2

Author(s):

Tadeusz Litak

Keyword(s):

Hybrid Logic

Download Full-text

Omega Algebra, Demonic Refinement Algebra and Commands

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

10.1007/11828563_15 ◽

2006 ◽

pp. 222-234 ◽

Cited By ~ 9

Author(s):

Peter Höfner ◽

Bernhard Möller ◽

Kim Solin

Download Full-text

Max-Plus Convex Geometry

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

10.1007/11828563_13 ◽

2006 ◽

pp. 192-206 ◽

Cited By ~ 12

Author(s):

Stéphane Gaubert ◽

Ricardo Katz

Keyword(s):

Convex Geometry

Download Full-text

Weak Relational Products

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

10.1007/11828563_28 ◽

2006 ◽

pp. 417-431 ◽

Cited By ~ 1

Author(s):

Michael Winter

Download Full-text

Computations and Relational Bundles

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

10.1007/11828563_3 ◽

2006 ◽

pp. 30-62

Author(s):

J. W. Sanders

Download Full-text

Weak Kleene Algebra and Computation Trees

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

10.1007/11828563_1 ◽

2006 ◽

pp. 1-1

Author(s):

Ernie Cohen

Keyword(s):

Kleene Algebra ◽

Computation Trees

Download Full-text

Relational Measures and Integration

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

10.1007/11828563_23 ◽

2006 ◽

pp. 343-357 ◽

Cited By ~ 1

Author(s):

Gunther Schmidt

Download Full-text

Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell

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

10.1007/11828563_16 ◽

2006 ◽

pp. 235-250 ◽

Cited By ~ 2

Author(s):

Wolfram Kahl

Keyword(s):

Algebraic Programming

Download Full-text

On the Complexity of the Equational Theory of Relational Action Algebras

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

10.1007/11828563_7 ◽

2006 ◽

pp. 106-119 ◽

Cited By ~ 2

Author(s):

Wojciech Buszkowski

Keyword(s):

Equational Theory

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

On the Cardinality of Relations

Algebraization of Hybrid Logic with Binders

Omega Algebra, Demonic Refinement Algebra and Commands

Max-Plus Convex Geometry

Weak Relational Products

Computations and Relational Bundles

Weak Kleene Algebra and Computation Trees

Relational Measures and Integration

Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell

On the Complexity of the Equational Theory of Relational Action Algebras

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