Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Farmer, William M.
Guttman, Joshua D.
and
Javier Thayer, F.
1992.
Automated Deduction—CADE-11.
Vol. 607,
Issue. ,
p.
701.
Farmer, William M.
Guttman, Joshua D.
and
Javier Thayer, F.
1992.
Automated Deduction—CADE-11.
Vol. 607,
Issue. ,
p.
567.
Farmer, William M.
Guttman, Joshua D.
and
Thayer, F. Javier
1993.
Design and Implementation of Symbolic Computation Systems.
Vol. 722,
Issue. ,
p.
216.
Parnas, D.L.
1993.
Predicate logic for software engineering.
IEEE Transactions on Software Engineering,
Vol. 19,
Issue. 9,
p.
856.
Gavilanes-Franco, A.
Lucio-Carrasco, F.
and
Rodríguez-Artalejo, M.
1993.
Computer Science Logic.
Vol. 702,
Issue. ,
p.
167.
Farmer, William M.
Guttman, Joshua D.
and
Thayer, F. Javier
1993.
IMPS: An interactive mathematical proof system.
Journal of Automated Reasoning,
Vol. 11,
Issue. 2,
p.
213.
Farmer, William M.
1993.
A simple type theory with partial functions and subtypes11Supported by the MITRE-Sponsored Research program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991..
Annals of Pure and Applied Logic,
Vol. 64,
Issue. 3,
p.
211.
Farmer, William M.
1994.
Higher-Order Algebra, Logic, and Term Rewriting.
Vol. 816,
Issue. ,
p.
96.
Guttman, Joshua D.
and
Johnson, Dale M.
1994.
FME '94: Industrial Benefit of Formal Methods.
Vol. 873,
Issue. ,
p.
55.
Rushby, John
and
Srivas, Mandayam
1994.
Higher Order Logic Theorem Proving and Its Applications.
Vol. 780,
Issue. ,
p.
163.
Lepage, François
1995.
Québec Studies in the Philosophy of Science.
Vol. 177,
Issue. ,
p.
23.
Parnas, David Lorge
1995.
A logic for describing, not verifying, software.
Erkenntnis,
Vol. 43,
Issue. 3,
p.
321.
Guttman, Joshua D.
Ramsdell, John D.
and
Swarup, Vipin
1995.
The VLISP verified Scheme system.
LISP and Symbolic Computation,
Vol. 8,
Issue. 1-2,
p.
33.
Farmer, William M.
1995.
Reasoning about partial functions with the aid of a computer.
Erkenntnis,
Vol. 43,
Issue. 3,
p.
279.
Kerber, Manfred
and
Kohlhase, Michael
1996.
Collegium Logicum.
Vol. 2,
Issue. ,
p.
21.
Mossakowski, Till
1996.
Automata, Languages and Programming.
Vol. 1099,
Issue. ,
p.
158.
Mossakowski, Till
1996.
Computer Science Logic.
Vol. 1092,
Issue. ,
p.
403.
Farmer, William M.
Guttman, Joshua D.
and
Fábrega, F. Javier Thayer
1996.
Automated Deduction — Cade-13.
Vol. 1104,
Issue. ,
p.
298.
Kerber, Manfred
and
Kohlhase, Michael
1997.
KI-97: Advances in Artificial Intelligence.
Vol. 1303,
Issue. ,
p.
123.
Constable, Robert L.
1998.
Handbook of Proof Theory.
Vol. 137,
Issue. ,
p.
683.