Péter Pröhle

Publication Activity (10 Years)

Years Active: 1993-1997
Publications (10 Years): 0

Publications

Samuel M. H. W. Perlo-Freeman, Péter Pröhle
Scott's Conjecture is True, Position Sensitive Weights. RTA (1997)
Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand
Algebra and Automated Deduction. CADE (1996)
Joel Berman, Emil W. Kiss, Péter Pröhle, Ágnes Szendrei
The set of types of a finitely generated variety. Discret. Math. 112 (1-3) (1993)