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 × Croatia
1 × Germany
1 × Ireland
1 × USA
1 × United Kingdom
Collaborated with:
S.Gao E.M.Clarke K.Donnelly L.M.d.Moura S.Kong F.v.Doorn J.v.Raumer
Talks about:
real (2) procedur (1) function (1) theorem (1) satisfi (1) isabell (1) definit (1) complet (1) skolem (1) prover (1)

Person: Jeremy Avigad

DBLP DBLP: Avigad:Jeremy

Contributed to:

CADE 20152015
IJCAR 20122012
LICS 20122012
IJCAR 20042004
LICS 20012001

Wrote 5 papers:

CADE-2015-MouraKADR #agile #proving #theorem proving
The Lean Theorem Prover (LMdM, SK, JA, FvD, JvR), pp. 378–388.
IJCAR-2012-GaoAC #satisfiability
δ-Complete Decision Procedures for Satisfiability over the Reals (SG, JA, EMC), pp. 286–300.
Delta-Decidability over the Reals (SG, JA, EMC), pp. 305–314.
IJCAR-2004-AvigadD #formal method #higher-order
Formalizing O Notation in Isabelle/HOL (JA, KD), pp. 357–371.
LICS-2001-Avigad #first-order #logic
Eliminating Definitions and Skolem Functions in First-Order Logic (JA), pp. 139–146.

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.