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.
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.
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.
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.
Guttman, Joshua D.
and
Thayer, F. Javier
1993.
Design and Implementation of Symbolic Computation Systems.
Vol. 722,
Issue. ,
p.
216.
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.
Mossakowski, Till
1996.
Automata, Languages and Programming.
Vol. 1099,
Issue. ,
p.
158.
Kerber, Manfred
and
Kohlhase, Michael
1996.
Collegium Logicum.
Vol. 2,
Issue. ,
p.
21.
Farmer, William M.
Guttman, Joshua D.
and
Fábrega, F. Javier Thayer
1996.
Automated Deduction — Cade-13.
Vol. 1104,
Issue. ,
p.
298.
Mossakowski, Till
1996.
Computer Science Logic.
Vol. 1092,
Issue. ,
p.
403.
Kerber, Manfred
and
Kohlhase, Michael
1997.
KI-97: Advances in Artificial Intelligence.
Vol. 1303,
Issue. ,
p.
123.
Rushby, J.
Owre, S.
and
Shankar, N.
1998.
Subtypes for specifications: predicate subtyping in PVS.
IEEE Transactions on Software Engineering,
Vol. 24,
Issue. 9,
p.
709.