Statistics
Publications
3
Citations
94
H-Index
3
Active since
1979
Affiliations
University of Kaiserslautern(Current)
P. Szabó is an author at University of Kaiserslautern specializing in computing, unification, and formal methods.
Publications per year
1979–1989
3
3
A short survey on the state of the art in matching and unification problems
Peter Raulefs, Jörg H. Siekmann, P. Szabó et al. · ACM SIGSAM Bulletin · 1979 · 42 citations
A Noetherian and confluent rewrite system for idempotent semigroups
Jörg Siekmann, P. Szabó · Semigroup Forum · 1982 · 38 citations
1–3 of 3