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