| 2006 |
|---|
| 13 | EE | Peter Szabó,
Péter Szeredi:
Improving the ISO Prolog Standard by Analyzing Compliance Test Results.
ICLP 2006: 257-269 |
| 12 | EE | Michael Hoche,
Peter Szabó:
Essential unifiers.
J. Applied Logic 4(1): 1-25 (2006) |
| 2005 |
|---|
| 11 | EE | Yaakov Engel,
Peter Szabó,
Dmitry Volkinshtein:
Learning to Control an Octopus Arm with Gaussian Process Temporal Difference Methods.
NIPS 2005 |
| 1991 |
|---|
| 10 | | M. Weiss,
Arek Lesch,
Ralf Cordes,
Karl-Heinz Jerke,
Horst Rößler,
Peter Szabó:
Integration und Bedienung breitbandiger multimedialer Dienste auf zukünftigen Endgeräten.
GI Jahrestagung 1991: 235-245 |
| 1990 |
|---|
| 9 | | Lars Ritland,
Karl-Heinz Jerke,
Peter Szabó,
Arkadiusz Lesch,
Horst Rößler:
Das RACE-Projekt MCPR.
Hypertext und Hypermedia 1990: 134-138 |
| 8 | | Karl-Heinz Jerke,
Peter Szabó,
Arek Lesch,
H. Röler,
Thomas Schwab,
Jürgen Herczeg:
Combining hypermedia browsing with formal queries.
INTERACT 1990: 593-598 |
| 7 | EE | Katarína Cechlárová,
Peter Szabó:
On the monge property of matrices.
Discrete Mathematics 81(2): 123-128 (1990) |
| 1989 |
|---|
| 6 | | Jörg H. Siekmann,
Peter Szabó:
The Undecidability of the DA-Unification Problem.
J. Symb. Log. 54(2): 402-414 (1989) |
| 1986 |
|---|
| 5 | | Peter Szabó,
Arkadiusz Lesniewski,
Horst Rößler:
Bedeutung der Graphik bei der Gestaltung der Systemoberfläche eines TEXTFAX-Arbeitsplatzrechners.
Graphik in Dokumenten 1986: 34-49 |
| 1982 |
|---|
| 4 | | Jörg H. Siekmann,
Peter Szabó:
Universal Unification and a Classification of Equational Theories.
CADE 1982: 369-389 |
| 3 | | Jörg H. Siekmann,
Peter Szabó:
Universal Unification.
GWAI 1982: 102-141 |
| 1981 |
|---|
| 2 | | Jörg H. Siekmann,
Peter Szabó:
A Noetherian Rewrite System for Idempotent Semigroups.
GWAI 1981: 235-245 |
| 1 | | Jörg H. Siekmann,
Peter Szabó:
Universal Unification and Regular Equational ACFM Theories.
IJCAI 1981: 532-538 |
