Heiner Semle

Publication Activity (10 Years)

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

Publications

Christoph Beierle, Gregor Meyer, Heiner Semle
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution IWBS Report 181 (1991)
Christoph Beierle, Gregor Meyer, Heiner Semle
A Brief Description of the PROTOS-L System. PDK (1991)
Christoph Beierle, Gregor Meyer, Heiner Semle
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. ISLP (1991)