Name Card

Full name Familienname, Vorname
Beckmann, Arnold
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 22 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Beckmann, Arnold ; Preining, Norbert Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoningArtikel Article 2018
2Beckmann, Arnold ; Goldstern, Martin ; Preining, Norbert Continuous Fraïssé ConjectureArtikel Article2008
3Beckmann, Arnold ; Preining, Norbert Linear Kripke frames and Gödel logicsArtikel Article2007
4Beckmann, Arnold Viewing proofs in bounded arithmetic as programsPräsentation Presentation2004
5Beckmann, Arnold On universal measures of complexityPräsentation Presentation2004
6Beckmann, Arnold Abstract measures for low level complexityPräsentation Presentation2004
7Beckmann, Arnold On a connection between Gdel logics and linearly ordered Kripke framesPräsentation Presentation2004
8Beckmann, Arnold Abstract measures for low level complexityPräsentation Presentation2004
9Beckmann, Arnold Viewing proofs in bounded arithmetic as programsPräsentation Presentation2004
10Beckmann, Arnold Separations of constant depth LKPräsentation Presentation2003
11Beckmann, Arnold Separations of constant depth LKPräsentation Presentation2003
12Beckmann, Arnold A note on universal measures for weak implicit computational complexityPräsentation Presentation2002
13Beckmann, Arnold Resolution refutations and propositional proofs with height-restrictionsPräsentation Presentation2002
14Beckmann, Arnold Bounded arithmetic, propositional proof complexity and dynamic ordinalsPräsentation Presentation2002
15Beckmann, Arnold Beschränkte Arithmetik - Berechnungskomplexität aus logischer SichtPräsentation Presentation2002
16Beckmann, Arnold Height restricted propositional proof systemsPräsentation Presentation2002
17Beckmann, Arnold Bounded arithmetic, dynamic ordinals and witness oracle query complexityPräsentation Presentation2002
18Beckmann, Arnold Exact bounds for lengths of reductions in typed Lambda calculusPräsentation Presentation2002
19Beckmann, Arnold Untere Schranken für die Größe monotoner SchaltkreisePräsentation Presentation2002
20Beckmann, Arnold Bounded arithmetic and height restricted resolutionPräsentation Presentation2002

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Freund, Rudolf ; Paun, Gheorghe ; Alhazov, Artiom P Systems with Matter and Anti-MatterKonferenzbeitrag Inproceedings2014
2Hetzl, Stefan A Similarity Criterion for Proofs (abstract)Konferenzbeitrag Inproceedings2006