- Complexity of Controlled Bad Sequences over Finite Sets of Nd A. R. Balasubramanian Sat 04 July 2020
- On Structural Descriptions of Lower Ideals of Series Parallel Posets Christian Joseph Altomare Sun 17 January 2016
- Forbidden substructures and combinatorial dichotomies: WQO and universality Gregory Cherlin Thu 28 August 2014
- Set Systems: Order Types, Continuous Nondeterministic Deformations, and Quasi-orders Yohji Akama Sat 28 December 2013
- A quasi-order on continuous functions Raphael Carroy Sat 28 December 2013
- Higman's Theorem and the Multiset Order Ian Wehrman Fri 27 December 2013
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture Joseph B Kruskal Fri 27 December 2013
- Well Quasi Orders in Subclasses of Bounded Treewidth Graphs and Their Algorithmic Applications Michael R. Fellows Danny Hermelin Frances A. Rosamond Mon 23 December 2013
- Une généralisation des théorèmes de Higman et de Simon aux mots infinis A. Finkel Wed 30 October 2013
- Complexity bounds for some finite forms of Kruskal's theorem Andreas Weiermann Mon 21 October 2013
- An Infinite Antichain of Permutations Daniel A. Spielman Miklós Bóna Fri 18 October 2013
- A counter-example to `Wagner's conjecture' for infinite graphs Robin Thomas Thu 29 August 2013
- Graph Minors. XX. Wagner's conjecture Neil Robertson P.D. Seymour Thu 29 August 2013
- Graph minors XXIII. Nash-Williams' immersion conjecture Neil Robertson Paul Seymour Thu 29 August 2013
- General decidability theorems for infinite-state systems P. A. Abdulla K. Cerans B. Jonsson Yih-Kuen Tsay Sat 29 December 2012
- Fundamental Structures in Well-Structured Infinite Transition Systems Alain Finkel Ph. Schnoebelen Sat 29 December 2012
- Basic WQO- and BQO-Theory E.C. Milner Sat 29 December 2012
- Applications of Well Quasi-Ordering and Better Quasi-Ordering M. Pouzet Sat 29 December 2012
- Ordering by Divisibility in Abstract Algebras Graham Higman Sat 29 December 2012
- On free monoids partially ordered by embedding Leonard H. Haines Sat 29 December 2012
- Decision Problems on Orders of Words Lucian Ilie Sat 29 December 2012
- The theory of well-quasi-ordering: A frequently discovered concept Joseph B Kruskal Sat 29 December 2012
- A Theorem on Partial Well-Ordering of Sets of Vectors P. Erdøs R. Rado Sat 29 December 2012
- Partial well-ordering of sets of vectors R. Rado Sat 29 December 2012
- More on the Size of Higman-Haines Sets: Effective Constructions Hermann Gruber Markus Holzer Martin Kutrib Tue 25 December 2012
- A proof of Higman's Lemma by structural induction Thierry Coquand Daniel Friedlender Tue 25 December 2012
- Subgraphs and well-quasi-ordering Guoli Ding Tue 18 December 2012
- Foundations of BQO Theory Alberto Marcone Sun 02 December 2012
- On regularity of context-free languages A. Ehrenfeucht D. Haussler G. Rozenberg Sun 02 December 2012
- Regular tree languages and quasi orders Tatjana Petković Sun 02 December 2012
- Well quasi-orders and regular languages Aldo de Luca Stefano Varricchio Sat 01 December 2012
- On better-quasi-ordering transfinite sequences Crispin St. John Alvah Nash-Williams Sat 01 December 2012
- Well-Quasi-Ordering, Overview and its Applications Mizuhito Ogawa Sat 01 December 2012
- On well-quasi-ordering infinite trees Crispin St. John Alvah Nash-Williams Sat 01 December 2012
- On well-quasi-ordering finite trees Crispin St. John Alvah Nash-Williams Sat 01 December 2012
- Well-quasi-ordering Infinite Graphs with Forbidden Finite Planar Minor Robin Thomas Sat 01 December 2012
- Well (and better) quasi-ordered transition systems Parosh Aziz Abdulla Sat 01 December 2012
- Regular solutions of language inequalities and well quasi-orders Michal Kunc Sat 01 December 2012
- From well-quasi-ordered sets to better-quasi-ordered sets Maurice Pouzet Norbert Sauer Sat 01 December 2012
- On well-quasi-ordering infinite trees -- Nash--Williams's theorem revisited Daniela Kuhn Sat 01 December 2012
- Algorithmic Analysis of Programs with Well Quasi-ordered Domains Parosh Aziz Abdulla Karlis Cerans Bengt Jonsson Yih-Kuen Tsay Sat 01 December 2012
- A note on well quasi-orderings for powesets Petr Jancar Sat 01 December 2012
- Well-quasi-orders and regular omega-languages Mizuhito Ogawa Sat 01 December 2012
- Well Quasi-orders in Formal Language Theory Flavio D'Alessandro Stefano Varricchio Sat 01 December 2012
- Well quasi-orders and context-free grammars Flavio D'Alessandro Stefano Varricchio Sat 01 December 2012
- On the regularity of languages on a binary alphabet generated by copying systems Daniel P. Bovet Stefano Varricchio Sat 01 December 2012
- On well quasi-orders on languages Flavio D'Alessandro Stefano Varricchio Sat 01 December 2012
- A classification of the expressive power of well-structured transition systems Parosh Aziz Abdulla Giorgio Delzanno Laurent Van Begin Sun 10 June 2012
- Well-Quasi-Ordering Hereditarily Finite Sets Alberto Policriti Alexandru I. Tomescu Sun 10 June 2012
Library Size: 13G (49 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A