nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Editorial Board (continued)
|
|
|
2007 |
205 |
4 |
p. i- 1 p. |
artikel |
2 |
Fast congruence closure and extensions
|
Nieuwenhuis, Robert |
|
2007 |
205 |
4 |
p. 557-580 24 p. |
artikel |
3 |
Inside Front Cover: Editorial Board
|
|
|
2007 |
205 |
4 |
p. IFC- 1 p. |
artikel |
4 |
Intruder deduction for the equational theory of Abelian groups with distributive encryption
|
Lafourcade, Pascal |
|
2007 |
205 |
4 |
p. 581-623 43 p. |
artikel |
5 |
Leanest quasi-orderings
|
Dershowitz, Nachum |
|
2007 |
205 |
4 |
p. 535-556 22 p. |
artikel |
6 |
On tree automata that certify termination of left-linear term rewriting systems
|
Geser, Alfons |
|
2007 |
205 |
4 |
p. 512-534 23 p. |
artikel |
7 |
Permutative rewriting and unification
|
Boy de la Tour, Thierry |
|
2007 |
205 |
4 |
p. 624-650 27 p. |
artikel |
8 |
Resource operators for λ-calculus
|
Kesner, Delia |
|
2007 |
205 |
4 |
p. 419-473 55 p. |
artikel |
9 |
RTA 2005
|
Giesl, Jürgen |
|
2007 |
205 |
4 |
p. 417-418 2 p. |
artikel |
10 |
Tyrolean termination tool: Techniques and features
|
Hirokawa, Nao |
|
2007 |
205 |
4 |
p. 474-511 38 p. |
artikel |