"WQOのハンドブック"はどうやら今年出版されたこれっぽい.(教えてくれたレオくんありがとう https://t.co/EHHCYJVXuo
3,236 followers
1,089 followers
RT @ihsanfazlioglu: Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Fo…
183,157 followers
Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory Editors: Schuster, Peter M., Seisenberger, Monika, Weiermann, Andreas (Eds.) https://t.co/Lkfcn
5,955 followers
Have you read Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory? Edited by Peter M. Schuster, Monika Seisenberger and Andreas Weiermann. https