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 × Japan
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:
K.Aehlig N.Preining
Talks about:
proposit (2) complex (2) proof (2) restrict (1) abstract (1) resolut (1) program (1) circuit (1) reduct (1) height (1)

Person: Arnold Beckmann

DBLP DBLP: Beckmann:Arnold

Contributed to:

LICS 20152015
LICS 20082008
CSL 20072007
CSL 20022002

Wrote 5 papers:

LICS-2015-BeckmannP #deduction
Hyper Natural Deduction (AB, NP), pp. 547–558.
LICS-2008-AehligB #complexity #on the
On the Computational Complexity of Cut-Reduction (KA, AB), pp. 284–293.
CSL-2007-AehligB #logic
Propositional Logic for Circuit Classes (KA, AB), pp. 512–526.
CSL-2007-Beckmann #complexity #proving #source code
Proofs, Programs and Abstract Complexity (AB), pp. 4–5.
CSL-2002-Beckmann #proving #strict
Resolution Refutations and Propositional Proofs with Height-Restrictions (AB), pp. 599–612.

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.