David Cerna

Research Area

Formal Methods, Proof Theory, Automated Theorem Proving, Unification and Generalization

Office

Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis

Room: none

Postal Adress

Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria