Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Benzmüller, Christoph E.
and
Brown, Chad E.
2005.
Theorem Proving in Higher Order Logics.
Vol. 3603,
Issue. ,
p.
66.
Muskens, Reinhard
2005.
Sense and the Computation of Reference.
Linguistics and Philosophy,
Vol. 28,
Issue. 4,
p.
473.
Benzmüller, Christoph E.
Brown, Chad E.
and
Kohlhase, Michael
2006.
Automated Reasoning.
Vol. 4130,
Issue. ,
p.
220.
Andrews, Peter B.
and
Brown, Chad E.
2006.
TPS: A hybrid automatic-interactive system for developing proofs.
Journal of Applied Logic,
Vol. 4,
Issue. 4,
p.
367.
Lipton, James
and
Nieva, Susana
2007.
Typed Lambda Calculi and Applications.
Vol. 4583,
Issue. ,
p.
272.
Muskens, Reinhard
2007.
Handbook of Modal Logic.
Vol. 3,
Issue. ,
p.
621.
Benzmüller, Christoph
Rabe, Florian
and
Sutcliffe, Geoff
2008.
Automated Reasoning.
Vol. 5195,
Issue. ,
p.
491.
Benzmueller, Christoph
Brown, Chad E.
and
Kohlhase, Michael
2009.
Cut-Simulation and Impredicativity.
Logical Methods in Computer Science,
Vol. Volume 5, Issue 1,
Issue. ,
Sutcliffe, Geoff
Benzmüller, Christoph
Brown, Chad E.
and
Theiss, Frank
2009.
Automated Deduction – CADE-22.
Vol. 5663,
Issue. ,
p.
116.
Gabbay, Murdoch J.
and
Mulligan, Dominic P.
2009.
Universal algebra over lambda-terms and nominal terms.
p.
64.
Benzmüller, Christoph
2009.
Emerging Challenges for Security, Privacy and Trust.
Vol. 297,
Issue. ,
p.
387.
Backes, Julian
and
Brown, Chad E.
2010.
Automated Reasoning.
Vol. 6173,
Issue. ,
p.
76.
Gabbay, Michael
and
Gabbay, Murdoch J.
2010.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 6355,
Issue. ,
p.
231.
Benzmüller, Christoph
2010.
Computational Logic in Multi-Agent Systems.
Vol. 6245,
Issue. ,
p.
33.
Benzmüller, Christoph
2010.
Verification, Induction, Termination Analysis.
Vol. 6463,
Issue. ,
p.
117.
Benzmueller, C.
and
Paulson, L. C.
2010.
Multimodal and intuitionistic logics in simple type theory.
Logic Journal of IGPL,
Vol. 18,
Issue. 6,
p.
881.
Brown, Chad E.
and
Smolka, Gert
2010.
Analytic Tableaux for Simple Type Theory and its First-Order Fragment.
Logical Methods in Computer Science,
Vol. Volume 6, Issue 2,
Issue. ,
Benzmmller, Christoph
and
Pease, Adam
2011.
Higher-Order Aspects and Context in SUMO.
SSRN Electronic Journal,
Hetzl, Stefan
Leitsch, Alexander
and
Weller, Daniel
2011.
CERES in higher-order logic.
Annals of Pure and Applied Logic,
Vol. 162,
Issue. 12,
p.
1001.
Gabbay, Murdoch J.
and
Mulligan, Dominic P.
2011.
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets.
Electronic Proceedings in Theoretical Computer Science,
Vol. 71,
Issue. ,
p.
58.