Relational and 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 International Publishing

9783319062501, 9783319062518

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages

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

10.1007/978-3-319-06251-8_5 ◽

2014 ◽

pp. 65-82 ◽

Cited By ~ 4

Author(s):

Michael R. Laurence ◽

Georg Struth

Keyword(s):

Completeness Theorems

Download Full-text

Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$

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

10.1007/978-3-319-06251-8_27 ◽

2014 ◽

pp. 446-462 ◽

Cited By ~ 2

Author(s):

Sabine Frittella ◽

Luigi Santocanale

Keyword(s):

Fixed Point ◽

Fixed Point Theory ◽

Point Theory

Download Full-text

Endowing Concurrent Kleene Algebra with Communication Actions

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

10.1007/978-3-319-06251-8_2 ◽

2014 ◽

pp. 19-36 ◽

Cited By ~ 5

Author(s):

Jason Jaskolka ◽

Ridha Khedri ◽

Qinglei Zhang

Keyword(s):

Kleene Algebra

Download Full-text

Abstract Dynamic Frames

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

10.1007/978-3-319-06251-8_10 ◽

2014 ◽

pp. 157-172

Author(s):

Han-Hing Dang

Download Full-text

Developments in Concurrent Kleene Algebra

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

10.1007/978-3-319-06251-8_1 ◽

2014 ◽

pp. 1-18 ◽

Cited By ~ 8

Author(s):

Tony Hoare ◽

Stephan van Staden ◽

Bernhard Möller ◽

Georg Struth ◽

Jules Villard ◽

...

Keyword(s):

Kleene Algebra

Download Full-text

A Modified Completeness Theorem of KAT and Decidability of Term Reducibility

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

10.1007/978-3-319-06251-8_6 ◽

2014 ◽

pp. 83-100

Author(s):

Takeo Uramoto

Keyword(s):

Completeness Theorem

Download Full-text

Type-2 Fuzzy Controllers in Arrow Categories

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

10.1007/978-3-319-06251-8_18 ◽

2014 ◽

pp. 293-308 ◽

Cited By ~ 1

Author(s):

Michael Winter ◽

Ethan Jackson ◽

Yuki Fujiwara

Keyword(s):

Fuzzy Controllers

Download Full-text

Nominal Sets over Algebraic Atoms

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

10.1007/978-3-319-06251-8_26 ◽

2014 ◽

pp. 429-445 ◽

Cited By ~ 1

Author(s):

Joanna Ochremiak

Keyword(s):

Nominal Sets

Download Full-text

On Faults and Faulty Programs

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

10.1007/978-3-319-06251-8_12 ◽

2014 ◽

pp. 191-207 ◽

Cited By ~ 6

Author(s):

Ali Mili ◽

Marcelo F. Frias ◽

Ali Jaoua

Download Full-text

Refinements of the RCC25 Composition Table

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

10.1007/978-3-319-06251-8_23 ◽

2014 ◽

pp. 379-394 ◽

Cited By ~ 1

Author(s):

Manas Ghosh ◽

Michael Winter

Keyword(s):

Composition Table

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages

Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$

Endowing Concurrent Kleene Algebra with Communication Actions

Abstract Dynamic Frames

Developments in Concurrent Kleene Algebra

A Modified Completeness Theorem of KAT and Decidability of Term Reducibility

Type-2 Fuzzy Controllers in Arrow Categories

Nominal Sets over Algebraic Atoms

On Faults and Faulty Programs

Refinements of the RCC25 Composition Table

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