Schlipf, John - Computer Science Department, University of Cincinnati

Advanced Search

Browse by Discipline

Scientific Societies

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Schlipf, John - Computer Science Department, University of Cincinnati

Formalizing a Logic for Logic Programming John S. Schlipf
The Expressive Powers of the Logic Programming Semantics John S. Schlipf

Website Policies/Important Links