Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
O'Donnell, Michael J. - Department of Computer Science, University of Chicago
The Sources of Certainty in Computation and Formal Systems
Equational Logic Programming Michael J. O'Donnell
How to Prove RepresentationIndependent Independence Results
TermRewriting Implementation of Equational Logic Programming
Some Intuitions Behind Realizability Semantics for Constructive Logic
New Directions and Open Problems in Equational Logic Programming
How to Prove Representation-Independent Independence Results
Equational Logic Programming Michael J. O'Donnell
Introduction: Logic and Logic Programming Languages
Electronic Journals scholarly invariants in a changing medium
Survey of the Equational Logic Programming Michael J. O'Donnell \Lambda
New Directions and Open Problems in Equational Logic Programming
Survey of the Equational Logic Programming Project
Introduction: Logic and Logic Programming Languages
Electronic Journals scholarly invariants in a changing medium
Term-Rewriting Implementation of Equational Logic Programming