Relational and Kleene-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 Berlin Heidelberg

9783540221456, 9783540247715

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Kleene Modules

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

10.1007/978-3-540-24771-5_10 ◽

2004 ◽

pp. 112-123 ◽

Cited By ~ 7

Author(s):

Thorsten Ehm ◽

Bernhard Möller ◽

Georg Struth

Download Full-text

Pointer Kleene Algebra

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

10.1007/978-3-540-24771-5_9 ◽

2004 ◽

pp. 99-111 ◽

Cited By ~ 4

Author(s):

Thorsten Ehm

Keyword(s):

Kleene Algebra

Download Full-text

Kleene Algebra with Relations

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

10.1007/978-3-540-24771-5_2 ◽

2004 ◽

pp. 8-20 ◽

Cited By ~ 4

Author(s):

Jules Desharnais

Keyword(s):

Kleene Algebra

Download Full-text

Calculational Relation-Algebraic Proofs in Isabelle/Isar

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

10.1007/978-3-540-24771-5_16 ◽

2004 ◽

pp. 178-190 ◽

Cited By ~ 8

Author(s):

Wolfram Kahl

Keyword(s):

Algebraic Proofs

Download Full-text

Greedy-Like Algorithms in Modal Kleene Algebra

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

10.1007/978-3-540-24771-5_18 ◽

2004 ◽

pp. 202-214 ◽

Cited By ~ 3

Author(s):

Bernhard Möller ◽

Georg Struth

Keyword(s):

Kleene Algebra

Download Full-text

Towards a Formalisation of Relational Database Theory in Constructive Type Theory

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

10.1007/978-3-540-24771-5_12 ◽

2004 ◽

pp. 137-148 ◽

Cited By ~ 3

Author(s):

Carlos Gonzalía

Keyword(s):

Relational Database ◽

Type Theory ◽

Constructive Type Theory ◽

Constructive Type ◽

Database Theory

Download Full-text

A Note on Complex Algebras of Semigroups

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

10.1007/978-3-540-24771-5_15 ◽

2004 ◽

pp. 171-177 ◽

Cited By ~ 1

Author(s):

Peter Jipsen

Download Full-text

Investigating Discrete Controllability with Kleene Algebra

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

10.1007/978-3-540-24771-5_7 ◽

2004 ◽

pp. 74-85

Author(s):

Hans Bherer ◽

Jules Desharnais ◽

Marc Frappier ◽

Richard St-Denis

Keyword(s):

Kleene Algebra

Download Full-text

Applying Relational Algebra in 3D Graphical Software Design

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

10.1007/978-3-540-24771-5_6 ◽

2004 ◽

pp. 62-73 ◽

Cited By ~ 2

Author(s):

Rudolf Berghammer ◽

Alexander Fronk

Keyword(s):

Software Design ◽

Relational Algebra

Download Full-text

Integrating Model Checking and Theorem Proving for Relational Reasoning

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

10.1007/978-3-540-24771-5_3 ◽

2004 ◽

pp. 21-33 ◽

Cited By ~ 17

Author(s):

Konstantine Arkoudas ◽

Sarfraz Khurshid ◽

Darko Marinov ◽

Martin Rinard

Keyword(s):

Model Checking ◽

Theorem Proving ◽

Relational Reasoning

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Kleene Modules

Pointer Kleene Algebra

Kleene Algebra with Relations

Calculational Relation-Algebraic Proofs in Isabelle/Isar

Greedy-Like Algorithms in Modal Kleene Algebra

Towards a Formalisation of Relational Database Theory in Constructive Type Theory

A Note on Complex Algebras of Semigroups

Investigating Discrete Controllability with Kleene Algebra

Applying Relational Algebra in 3D Graphical Software Design

Integrating Model Checking and Theorem Proving for Relational Reasoning

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