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