BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Farmer:William_M=

Contributed to:

IJCAR 20042004
CADE 20002000
CADE 19961996
CADE 19941994
CADE 19921992
RTA 19911991
CADE 19901990

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.