Travelled to:1 × France
1 × Ireland
1 × Italy
3 × USA
Collaborated with:J.D.Guttman F.J.Thayer ∅ R.J.Watro M.E.Nadel
Talks about:imp (4) system (3) descript (2) proof (2) infrastructur (1) intertheori (1) undefined (1) mathemat (1) interact (1) calculus (1)
Person: William M. Farmer
DBLP: Farmer:William_M=
Contributed to:
2004
2000199619941992
19911990Wrote 8 papers:
- IJCAR-2004-Farmer #calculus #formal method
- Formalizing Undefinedness Arising in Calculus (WMF), pp. 475–489.
- CADE-2000-Farmer #framework #reasoning
- An Infrastructure for Intertheory Reasoning (WMF), pp. 115–131.
- CADE-1996-FarmerGF #named
- IMPS: An Updated System Description (WMF, JDG, FJT), pp. 298–302.
- CADE-1994-FarmerGNT #proving
- Proof Script Pragmatics in IMPS (WMF, JDG, MEN, FJT), pp. 356–370.
- CADE-1992-FarmerGT
- Little Theories (WMF, JDG, FJT), pp. 567–581.
- CADE-1992-FarmerGT92a #named
- IMPS: System Description (WMF, JDG, FJT), pp. 701–705.
- RTA-1991-FarmerW #graph grammar
- Redex Capturing in Term Graph Rewriting (WMF, RJW), pp. 13–24.
- CADE-1990-FarmerGT #interactive #named #proving
- IMPS: An Interactive Mathematical Proof System (WMF, JDG, FJT), pp. 653–654.