| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Characterisation of Multiply Recursive Functions with Higman's Lemma
|
Touzet, Hélène
|
|
2002
|
178 |
2 |
p. 534-544
11 p.
|
artikel
|
| 2 |
A Fully Syntactic AC-RPO
|
Rubio, Albert
|
|
2002
|
178 |
2 |
p. 515-533
19 p.
|
artikel
|
| 3 |
A Monadic Second-Order Definition of the Structure of Convex Hypergraphs
|
Courcelle, Bruno
|
|
2002
|
178 |
2 |
p. 391-411
21 p.
|
artikel
|
| 4 |
Author Index for Volume 178
|
|
|
2002
|
178 |
2 |
p. 545-
1 p.
|
artikel
|
| 5 |
Decidability for Left-Linear Growing Term Rewriting Systems
|
Nagaya, Takashi
|
|
2002
|
178 |
2 |
p. 499-514
16 p.
|
artikel
|
| 6 |
Deciding the Word Problem in the Union of Equational Theories
|
Baader, Franz
|
|
2002
|
178 |
2 |
p. 346-390
45 p.
|
artikel
|
| 7 |
GUEST EDITORIAL
|
Narendran, Paliath
|
|
2002
|
178 |
2 |
p. 345-
1 p.
|
artikel
|
| 8 |
On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions
|
de Groote, Philippe
|
|
2002
|
178 |
2 |
p. 441-464
24 p.
|
artikel
|
| 9 |
Practical Algorithms for Deciding Path Ordering Constraint Satisfaction
|
Nieuwenhuis, Robert
|
|
2002
|
178 |
2 |
p. 422-440
19 p.
|
artikel
|
| 10 |
Test Sets for the Universal and Existential Closure of Regular Tree Languages
|
Hofbauer, Dieter
|
|
2002
|
178 |
2 |
p. 465-498
34 p.
|
artikel
|
| 11 |
The ∃*∀* Part of the Theory of Ground Term Algebra Modulo an AC Symbol is Undecidable
|
Marcinkowski, Jerzy
|
|
2002
|
178 |
2 |
p. 412-421
10 p.
|
artikel
|
Tijdschrift beschrijving