Alex Pelin

Publication Activity (10 Years)

Years Active: 1984-1987
Publications (10 Years): 0

Publications

Alex Pelin, Jean H. Gallier
Building Exact Computation Sequences. Theor. Comput. Sci. 53 (1987)
Alex Pelin
Computing with Conditional Rewrite Rules. CTRS (1987)
Alex Pelin, Jean H. Gallier
Exact Computation Sequences. CAAP (1986)
Alex Pelin
A Formalism for Treating Equivalence of Recursive Procedures. RAIRO Theor. Informatics Appl. 19 (3) (1985)
Alex Pelin, Jean H. Gallier
Solving Word Problems in Free Algebras Using Complexity Functions. CADE (1984)
Alex Pelin
Using complexity functions to generate normal forms for free algebra terms. ACM Conference on Computer Science (1984)