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] |