Skip to content
Arnold Beckmann
logic and applications
Menu and widgets
home
research
publications
talks
teaching
organisation
hobbies
contact me
publications
my publications
at
dblp
at
Swansea University