| |
| 1987 | ||
|---|---|---|
| 5 | Alex Pelin: Computing with Conditional Rewrite Rules. CTRS 1987: 197-211 | |
| 4 | Alex Pelin, Jean H. Gallier: Building Exact Computation Sequences. Theor. Comput. Sci. 53: 125-150 (1987) | |
| 1986 | ||
| 3 | Alex Pelin, Jean H. Gallier: Exact Computation Sequences. CAAP 1986: 45-59 | |
| 1985 | ||
| 2 | Alex Pelin: A Formalism for Treating Equivalence of Recursive Procedures. ITA 19(3): 293-313 (1985) | |
| 1984 | ||
| 1 | Alex Pelin, Jean H. Gallier: Solving Word Problems in Free Algebras Using Complexity Functions. CADE 1984: 476-495 | |
| 1 | Jean H. Gallier | [1] [3] [4] |