Alex Pelin

According to our database, Alex Pelin authored at least 6 papers between 1984 and 1987.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1987

Building Exact Computation Sequences.

Alex Pelin, Jean H. Gallier

Theor. Comput. Sci., 1987

Computing with Conditional Rewrite Rules.

Alex Pelin

Proceedings of the Conditional Term Rewriting Systems, 1987

1986

Exact Computation Sequences.

Alex Pelin, Jean H. Gallier

Proceedings of the CAAP '86, 1986

1985

A Formalism for Treating Equivalence of Recursive Procedures.

Alex Pelin

RAIRO Theor. Informatics Appl., 1985

1984

Solving Word Problems in Free Algebras Using Complexity Functions.

Alex Pelin, Jean H. Gallier

Proceedings of the 7th International Conference on Automated Deduction, 1984

Using complexity functions to generate normal forms for free algebra terms.

Alex Pelin

Proceedings of the ACM 12th annual computer science conference on SIGCSE symposium, 1984