Igor Varsek

Publication Activity (10 Years)

Years Active: 1986-1991
Publications (10 Years): 0

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Alexander Bockmayr, Christoph Brzoska, Peter Deussen, Igor Varsek
KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. Inform. Forsch. Entwickl. 6 (3) (1991)
Igor Varsek
Taxonomical Reasoning in Logic Programming. ÖGAI (1987)
Martin Huber, Igor Varsek
Extended Prolog for Order-Sorted Resolution. SLP (1987)
Igor Varsek
Übersetzung logischer Programmiersprachen. GI Jahrestagung (1) (1986)