Technical papers provided by [back] Michael J. O'Donnell

The papers are in reverse chronological order.


Copyrights are held variously by the authors or publishers. In general, these papers are provided for direct use in scholarship and education. If you are contemplating other uses, such as republication, you must obtain appropriate permissions. If you wish to cite any of the published work, please look up the formal publication, and use that version. The preprints in this area are as accurate as I can make them, but they are not authoritative copies of the published versions.

Last modified: Sun Mar 25 18:28:53 CST 2001

  1. The Sources of Certainty in Computation and Formal Systems (November 1999, presented at the 1999-2000 Sawyer Seminar at the University of Chicago, Computer Science as a Human Science: the Cultural Impact of Computerization)
  2. Some Intuition Behind Constructive Formal Logic: tableaux and Läuchli countermodels (March 1995, final version appeared in Annals of Pure and Applied Logic, 81:187-239, 1996)
  3. Intuitive Counterexamples for Constructive Fallacies (August 1994, preprint of conference proceedings)
  4. Equational Logic Programming (August 1994, preprint of book chapter)
  5. Introduction: Logic and Logic Programming Languages (August 1994, preprint of book chapter)
  6. Electronic Journals - scholarly invariants in a changing medium (August 1993, invited conference paper, no proceedings)
  7. Survey of the Equational Logic Programming Project (March 1987, invited conference paper, not in proceedings)
  8. Term-Rewriting Implementation of Equational Logic Programming (March 1987, invited conference paper, preprint of proceedings) This paper overlaps a lot with the previous one, but there is some different material too.
  9. How to Prove Representation-Independent Independence Results (January 1987, preprint of journal article)