BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
S.Buss A.D.0002
Talks about:
determinist (1) program (1) complex (1) system (1) branch (1) proof (1) decis (1) tree (1) non (1)

Person: Alexander Knop

DBLP DBLP: Knop:Alexander

Contributed to:

CSL 20202020

Wrote 1 papers:

CSL-2020-Buss0K #branch #complexity #nondeterminism #proving #source code
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs (SB, AD0, AK), p. 17.
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.