Seppo Keronen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993

2 Seppo Keronen: Non-Procedural Logic Programming. ELP 1993: 183-195

1992

1 Seppo Keronen: Natural Deduction Proof Theory for Logic Programming. ELP 1992: 265-281

1993
2		Seppo Keronen: Non-Procedural Logic Programming. ELP 1993: 183-195
1992
1		Seppo Keronen: Natural Deduction Proof Theory for Logic Programming. ELP 1992: 265-281