BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
C.Benzmüller M.Wisniewski K.Kern
Talks about:
techniqu (1) prover (1) normal (1) higher (1) effect (1) order (1) leo (1) iii (1) hol (1)

Person: Alexander Steen

DBLP DBLP: Steen:Alexander

Contributed to:

IJCAR 20162016
IJCAR 20182018

Wrote 2 papers:

IJCAR-2016-WisniewskiSKB #effectiveness #normalisation
Effective Normalization Techniques for HOL (MW, AS, KK, CB), pp. 362–370.
IJCAR-2018-SteenB #higher-order #proving
The Higher-Order Prover Leo-III (AS, CB), pp. 108–116.

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.