Leonard Paulík

List of publications from the DBLP Bibliography Server - FAQ

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

1996

2 Peter Vojtás, Leonard Paulík: Soundness and Completeness of Non-classical SLD-Resolution. ELP 1996: 289-301

1995

1 Peter Vojtás, Leonard Paulík: Logic Programming in RPL and RQL. SOFSEM 1995: 487-492

1996
2		Peter Vojtás, Leonard Paulík: Soundness and Completeness of Non-classical SLD-Resolution. ELP 1996: 289-301
1995
1		Peter Vojtás, Leonard Paulík: Logic Programming in RPL and RQL. SOFSEM 1995: 487-492

Coauthor Index

1 Peter Vojtás [1] [2]