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

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540789123, 9783540789130

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Relation Algebraic Semantics for a Lazy Functional Logic Language

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

10.1007/978-3-540-78913-0_5 ◽

2008 ◽

pp. 37-53 ◽

Author(s):

Bernd Braßel ◽

Jan Christiansen

Keyword(s):

Algebraic Semantics ◽

Functional Logic

Download Full-text

Boolean Logics with Relations

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

10.1007/978-3-540-78913-0_3 ◽

2008 ◽

pp. 4-21

Author(s):

Philippe Balbiani ◽

Tinko Tinchev

Download Full-text

Reactive Probabilistic Programs and Refinement Algebra

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

10.1007/978-3-540-78913-0_23 ◽

2008 ◽

pp. 304-319 ◽

Author(s):

L. A. Meinicke ◽

K. Solin

Keyword(s):

Probabilistic Programs

Download Full-text

Non-termination in Idempotent Semirings

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

10.1007/978-3-540-78913-0_16 ◽

2008 ◽

pp. 206-220

Author(s):

Peter Höfner ◽

Georg Struth

Keyword(s):

Idempotent Semirings

Download Full-text

Formal Methods and the Theory of Social Choice

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

10.1007/978-3-540-78913-0_1 ◽

2008 ◽

pp. 1-2 ◽

Author(s):

Marc Pauly

Keyword(s):

Social Choice ◽

Download Full-text

Automatic Proof Generation in Kleene Algebra

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

10.1007/978-3-540-78913-0_28 ◽

2008 ◽

pp. 382-396 ◽

Author(s):

James Worthington

Keyword(s):

Download Full-text

The Lattice of Contact Relations on a Boolean Algebra

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

10.1007/978-3-540-78913-0_9 ◽

2008 ◽

pp. 99-109 ◽

Author(s):

Ivo Düntsch ◽

Michael Winter

Keyword(s):

Boolean Algebra

Download Full-text

Lazy Relations

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

10.1007/978-3-540-78913-0_12 ◽

2008 ◽

pp. 138-154 ◽

Author(s):

Walter Guttmann

Download Full-text

The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy

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

10.1007/978-3-540-78913-0_13 ◽

2008 ◽

pp. 155-172 ◽

Author(s):

Mark Hopkins

Keyword(s):

Algebraic Approach ◽

Chomsky Hierarchy

Download Full-text

An Ordered Category of Processes

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

10.1007/978-3-540-78913-0_27 ◽

2008 ◽

pp. 367-381 ◽

Author(s):

Michael Winter

Keyword(s):

Ordered Category

Download Full-text