According to our database1, Péter Pröhle authored at least 3 papers between 1993 and 1997.
Legend:Book In proceedings Article PhD thesis Other
Scott's Conjecture is True, Position Sensitive Weights.
Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997
Algebra and Automated Deduction.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
The set of types of a finitely generated variety.
Discrete Mathematics, 1993