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

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319062501, 9783319062518
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

2014 ◽  
pp. 446-462 ◽  
Author(s):  
Sabine Frittella ◽  
Luigi Santocanale
Keyword(s):  
Fixed Point ◽  
Fixed Point Theory ◽  
Point Theory

Endowing Concurrent Kleene Algebra with Communication Actions

2014 ◽  
pp. 19-36 ◽  
Author(s):  
Jason Jaskolka ◽  
Ridha Khedri ◽  
Qinglei Zhang
Keyword(s):  
Kleene Algebra

scholarly journals Developments in Concurrent Kleene Algebra

2014 ◽  
pp. 1-18 ◽  
Author(s):  
Tony Hoare ◽  
Stephan van Staden ◽  
Bernhard Möller ◽  
Georg Struth ◽  
Jules Villard ◽  
...  
Keyword(s):  
Kleene Algebra

Type-2 Fuzzy Controllers in Arrow Categories

2014 ◽  
pp. 293-308 ◽  
Author(s):  
Michael Winter ◽  
Ethan Jackson ◽  
Yuki Fujiwara
Keyword(s):  
Fuzzy Controllers

On Faults and Faulty Programs

2014 ◽  
pp. 191-207 ◽  
Author(s):  
Ali Mili ◽  
Marcelo F. Frias ◽  
Ali Jaoua

Refinements of the RCC25 Composition Table

2014 ◽  
pp. 379-394 ◽  
Author(s):  
Manas Ghosh ◽  
Michael Winter
Keyword(s):  
Composition Table
Load More ...
Sign in / Sign up

Export Citation Format

Share Document