WELL-QUASI-ORDERING HEREDITARILY FINITE SETS

Publication
5th International Conference on Language and Automata Theory and Applications, LATA2011

Related