Monika Seisenberger

• Logic, Construction, Computation
• Well-Quasi Orders in Computation, Logic, Language and Reasoning