Heiner Semle

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1991

3 Christoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. ISLP 1991: 272-286

2 Christoph Beierle, Gregor Meyer, Heiner Semle: A Brief Description of the PROTOS-L System. PDK 1991: 402-404

1 Christoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution IWBS Report 181: (1991)

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

Coauthor Index