Výsledky hledání pro autora

1

Obálka

Relational methods in computer science : 9th International Conference, RelMiCS 2006 and 4st Workshop of Kleene Algebra, RelMICS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings /

Vydáno 2006

“...International Workshop on Applications of Kleene Algebra...”

Kniha

2

Obálka

Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers /

Vydáno 2004

“...International Workshop on Applications of Kleene Algebra...”

Kniha

3

Obálka

Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /

Vydáno 2006

“...International Workshop on Applications of Kleene Algebra...”

Kniha