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 × Austria
1 × Hungary
2 × Italy
Collaborated with:
R.Kuznets T.Straßen
Talks about:
logic (3) explicit (2) proof (2) theorem (1) reflect (1) omnisci (1) complex (1) scienc (1) formal (1) comput (1)

Person: Sergei N. Artëmov

DBLP DBLP: Art=euml=mov:Sergei_N=

Contributed to:

CSL 20062006
CSL 20032003
CADE 19991999
CSL 19921992

Wrote 4 papers:

CSL-2006-ArtemovK #complexity #logic #proving
Logical Omniscience Via Proof Complexity (SNA, RK), pp. 135–149.
CSL-2003-Artemov #logic
Back to the Future: Explicit Logic for Computer Science (SNA), p. 43.
CADE-1999-Artemov #on the #proving #theorem proving #verification
On Explicit Reflection in Theorem Proving and Formal Verification (SNA), pp. 267–281.
CSL-1992-ArtemovS #logic #proving
The Basic Logic of Proofs (SNA, TS), pp. 14–28.

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.