1997 | ||
---|---|---|
3 | Samuel M. H. W. Perlo-Freeman, Péter Pröhle: Scott's Conjecture is True, Position Sensitive Weights. RTA 1997: 217-227 | |
1996 | ||
2 | Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand: Algebra and Automated Deduction. CADE 1996: 448-462 | |
1993 | ||
1 | EE | Joel Berman, Emil W. Kiss, Péter Pröhle, Ágnes Szendrei: The set of types of a finitely generated variety. Discrete Mathematics 112(1-3): 1-20 (1993) |
1 | Joel Berman | [1] |
2 | Emil W. Kiss | [1] |
3 | Steve Linton | [2] |
4 | Ursula Martin | [2] |
5 | Samuel M. H. W. Perlo-Freeman | [3] |
6 | Duncan Shand | [2] |
7 | Ágnes Szendrei | [1] |