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

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642333132, 9783642333149

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Two Observations in Dioid Based Model Refinement

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

10.1007/978-3-642-33314-9_16 ◽

2012 ◽

pp. 235-247

Author(s):

Roland Glück

Keyword(s):

Model Refinement

Download Full-text

On Completeness of Omega-Regular Algebras

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

10.1007/978-3-642-33314-9_12 ◽

2012 ◽

pp. 179-194

Author(s):

Michael R. Laurence ◽

Georg Struth

Keyword(s):

Regular Algebras

Download Full-text

Relation Algebras, Matrices, and Multi-valued Decision Diagrams

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

10.1007/978-3-642-33314-9_17 ◽

2012 ◽

pp. 248-263 ◽

Author(s):

Francis Atampore ◽

Michael Winter

Keyword(s):

Decision Diagrams ◽

Relation Algebras

Download Full-text

Left-Handed Completeness

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

10.1007/978-3-642-33314-9_11 ◽

2012 ◽

pp. 162-178 ◽

Author(s):

Dexter Kozen ◽

Alexandra Silva

Keyword(s):

Download Full-text

Transitive Separation Logic

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

10.1007/978-3-642-33314-9_1 ◽

2012 ◽

pp. 1-16 ◽

Author(s):

Han-Hing Dang ◽

Bernhard Möller

Keyword(s):

Separation Logic

Download Full-text

Extension Properties of Boolean Contact Algebras

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

10.1007/978-3-642-33314-9_23 ◽

2012 ◽

pp. 342-356 ◽

Author(s):

Ivo Düntsch ◽

Sanjiang Li

Keyword(s):

Contact Algebras

Download Full-text

An Algebra of Layered Complex Preferences

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

10.1007/978-3-642-33314-9_20 ◽

2012 ◽

pp. 294-309 ◽

Author(s):

Bernhard Möller ◽

Patrick Roocks

Keyword(s):

Layered Complex

Download Full-text

Relational Concepts in Social Choice

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

10.1007/978-3-642-33314-9_19 ◽

2012 ◽

pp. 278-293 ◽

Author(s):

Gunther Schmidt

Keyword(s):

Social Choice ◽

Relational Concepts

Download Full-text

Deciding Regular Expressions (In-)Equivalence in Coq

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

10.1007/978-3-642-33314-9_7 ◽

2012 ◽

pp. 98-113 ◽

Author(s):

Nelma Moreira ◽

David Pereira ◽

Simão Melo de Sousa

Keyword(s):

Regular Expressions

Download Full-text

Point Axioms in Dedekind Categories

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

10.1007/978-3-642-33314-9_15 ◽

2012 ◽

pp. 219-234 ◽

Author(s):

Hitoshi Furusawa ◽

Yasuo Kawahara

Download Full-text