William C. Purdy

11 papers Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2006 J jnl
Inexpressiveness of First-Order Fragments.
Australas. J. Log.
William C. Purdy
2002 J jnl
Complexity and Nicety of Fluted Logic.
Stud Logica
William C. Purdy
1999 J jnl
Quine's 'Limits of Decision'.
J. Symb. Log.
William C. Purdy
1996 J jnl
Decidability of Fluted Logic with Identity.
Notre Dame J. Formal Log.
William C. Purdy
1996 J jnl
Fluted Formulas and the Limits of Decidability.
J. Symb. Log.
William C. Purdy
1992 J jnl
A Variable Free Logic for Mass Terms.
Notre Dame J. Formal Log.
William C. Purdy
1992 J jnl
On the Question "Do we Need Indentity?".
Notre Dame J. Formal Log.
William C. Purdy
1992 J jnl
Surface reasoning.
Notre Dame J. Formal Log.
William C. Purdy
1991 J jnl
A Logic for Natural Language.
Notre Dame J. Formal Log.
William C. Purdy
1990 J jnl
An interface between the IBM PC/XT and the PAR model 273 potentiostat/galvanostat.
Comput. Chem.
Alexis Carpenter, Jeffrey J. McCarthy, William C. Purdy
1976 — conf
Processor System Modeling - a language and simulation system.
ANSS
Fredrick Pfisterer, William C. Purdy, Leonard Lehmann