A. Beckmann
发表
Klaus Meer,
Erzsébet Csuhaj-Varjú,
Arnold Beckmann,
2007
.
N. Jonoska,
L. Bienvenu,
A. Beckmann,
2016
.
Benedikt Löwe,
Arnold Beckmann,
Dag Normann,
2007,
J. Log. Comput..
E. Csuhaj-Varjú,
K. Meer,
A. Beckmann,
2014
.
A. Beckmann,
2005
.
A. Beckmann,
2022
.
S. Buss,
S. Friedman,
Neil Thapen,
2015
.
G. Takeuti,
A. Beckmann,
2002
.
Jeremy Avigad,
Arnold Beckmann,
Georg Moser,
2005,
Ann. Pure Appl. Log..
Markus Roggenbach,
Phillip James,
Arnold Beckmann,
2012,
Haifa Verification Conference.
Cecilia Zanni-Merk,
François de Bertrand de Beuvron,
Qiushi Cao,
2022,
Robotics Comput. Integr. Manuf..
A. Beckmann,
A. Alsamani,
2022,
2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain).
Pardeep Kumar,
Arnold Beckmann,
Alexander J. M. Milne,
2020,
IEEE Access.
A. Beckmann,
Sadeer Beden,
2023,
2023 IEEE 17th International Conference on Semantic Computing (ICSC).
Qiushi Cao,
Arnold Beckmann,
Sadeer Beden,
2021,
Inf..
Benedikt Löwe,
Arnold Beckmann,
B. Löwe,
2008,
Theory of Computing Systems.
Pavel Pudlák,
Neil Thapen,
Arnold Beckmann,
2013,
TOCL.
Qiushi Cao,
Arnold Beckmann,
Sadeer Beden,
2022,
Comput. Ind..
Arnold Beckmann,
A. Beckmann,
2003,
Arch. Math. Log..
Arnold Beckmann,
A. Beckmann,
2002,
LPAR.
Arnold Beckmann,
A. Beckmann,
2002,
CSL.
Laurent Bienvenu,
Arnold Beckmann,
Nataša Jonoska,
2016,
Lecture Notes in Computer Science.
Ulrich Berger,
Benedikt Löwe,
J. V. Tucker,
2006
.
Samuel R. Buss,
Arnold Beckmann,
S. Buss,
2019,
Ann. Pure Appl. Log..
Samuel R. Buss,
Arnold Beckmann,
S. Buss,
2005,
Ann. Pure Appl. Log..
Hans Tompits,
Thomas Eiter,
Frank Wolter,
2010
.
Arnold Beckmann,
A. Beckmann,
2009,
WoLLIC.
Arnold Beckmann,
A. Beckmann,
2007,
CSL.
A. Beckmann,
Indira Ananth,
João Santos,
2021,
ICFNDS.
Arnold Beckmann,
Norbert Preining,
N. Preining,
2018,
J. Log. Comput..
Arnold Beckmann,
Norbert Preining,
N. Preining,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Arnold Beckmann,
Norbert Preining,
N. Preining,
2007,
Journal of Symbolic Logic.
Martin Goldstern,
Arnold Beckmann,
Norbert Preining,
2004,
Order.
Jan Johannsen,
Arnold Beckmann,
Jan Johannsen,
2005,
Math. Log. Q..
A. Beckmann,
A. Setzer,
B. Lazar,
2022,
TYPES.
A. Beckmann,
A. Setzer,
B. Lazar,
2022,
ArXiv.
Arnold Beckmann,
Norbert Preining,
N. Preining,
2015,
J. Log. Comput..