nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Abstract abstract reduction
|
Struth, Georg |
|
2006 |
66 |
2 |
p. 239-270 32 p. |
artikel |
2 |
Author Index – Volume 66 (2006)
|
|
|
2006 |
66 |
2 |
p. 271- 1 p. |
artikel |
3 |
Contents
|
|
|
2006 |
66 |
2 |
p. v- 1 p. |
artikel |
4 |
Editorial Board
|
|
|
2006 |
66 |
2 |
p. CO2- 1 p. |
artikel |
5 |
Guest editor’s introduction: Special issue on Relation Algebra and Kleene Algebra
|
Möller, Bernhard |
|
2006 |
66 |
2 |
p. 69-70 2 p. |
artikel |
6 |
Interpretability of first-order linear temporal logics in fork algebras
|
Frias, Marcelo F. |
|
2006 |
66 |
2 |
p. 161-184 24 p. |
artikel |
7 |
Keyword Index – Volume 66 (2006)
|
|
|
2006 |
66 |
2 |
p. 272- 1 p. |
artikel |
8 |
Kleene modules and linear languages
|
Leiß, Hans |
|
2006 |
66 |
2 |
p. 185-194 10 p. |
artikel |
9 |
Kleene under a modal demonic star
|
Desharnais, Jules |
|
2006 |
66 |
2 |
p. 127-160 34 p. |
artikel |
10 |
On the complemented disk algebra
|
Li, Sanjiang |
|
2006 |
66 |
2 |
p. 195-211 17 p. |
artikel |
11 |
Partiality I: Embedding relation algebras
|
Schmidt, Gunther |
|
2006 |
66 |
2 |
p. 212-238 27 p. |
artikel |
12 |
Regular algebra applied to language problems
|
Backhouse, Roland |
|
2006 |
66 |
2 |
p. 71-111 41 p. |
artikel |
13 |
Relation-algebraic computation of fixed points with applications
|
Berghammer, Rudolf |
|
2006 |
66 |
2 |
p. 112-126 15 p. |
artikel |