Péter Pröhle

According to our database, Péter Pröhle authored at least 3 papers between 1993 and 1997.

Collaborative distances:

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

1997

Scott's Conjecture is True, Position Sensitive Weights.

Samuel M. H. W. Perlo-Freeman, Péter Pröhle

Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997

1996

Algebra and Automated Deduction.

Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1993

The set of types of a finitely generated variety.

Joel Berman, Emil W. Kiss, Péter Pröhle, Ágnes Szendrei

Discret. Math., 1993