1

The Generic Model of Computation

E-Article
3
4
5

Artificial intelligence: Retrospective/prospective

E-Article
6

Term Rewriting: 33 Examples of termination

E-Chapter
7

Conditional and Typed Rewriting Systems: Hierarchical termination

E-Chapter
8
9

Conditional Term Rewriting Systems: Semigroups satisfying x m+n = x n

E-Chapter
10

Lecture Notes in Computer Science: Trees, ordinals and termination

E-Chapter
11
12
13

Automata, Languages and Programming: Canonical sets of horn clauses

E-Chapter
14

Termination of rewriting

E-Article
15

Program abstraction and instantiation

E-Article
16

Rewriting and verification

E-Article
17

Computing with rewrite systems

E-Article
18

Rewriting Techniques and Applications: Termination

E-Chapter
19

Orderings for term-rewriting systems

E-Article
20

Automata, Languages and Programming: Termination of linear rewriting systems

E-Chapter