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 × Taiwan
1 × USA
2 × Germany
Collaborated with:
J.Urban C.Urban D.A.0001 M.F.0002 S.Schulz J.Vyskocil C.E.Brown T.Gauthier G.Sutcliffe
Talks about:
proof (3) isabell (2) hol (2) reconstruct (1) quotient (1) descript (1) challeng (1) tableau (1) revisit (1) general (1)

Person: Cezary Kaliszyk

DBLP DBLP: Kaliszyk:Cezary

Contributed to:

CADE 20152015
CADE 20132013
ESOP 20112011
SAC 20112011
FASE 20162016
CADE 20172017
CADE 20192019

Wrote 7 papers:

System Description: E.T. 0.1 (CK, SS, JU, JV), pp. 389–398.
CADE-2013-KaliszykU #named #proving #re-engineering
PRocH: Proof Reconstruction for HOL Light (CK, JU), pp. 267–274.
General Bindings and α-Equivalence in Nominal Isabelle (CU, CK), pp. 480–500.
SAC-2011-KaliszykU #higher-order
Quotients revisited for Isabelle/HOL (CK, CU), pp. 1639–1644.
FASE-2016-0001K #metric #proving #towards
Towards Formal Proof Metrics (DA0, CK), pp. 325–341.
CADE-2017-FarberKU #monte carlo #proving
Monte Carlo Tableau Proof Search (MF0, CK, JU), pp. 563–579.
CADE-2019-BrownGKSU #challenge #named
GRUNGE: A Grand Unified ATP Challenge (CEB, TG, CK, GS, JU), pp. 123–141.

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.