- Conditions Enforcing Regularity of Context-Free Languages Andrzej Ehrenfeucht David Haussler Grzegorz Rozenberg 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
- Model Checking -Calculus in Well-Structured Transition Systems E. V. Kouzmin N. V. Shilov V. A. Sokolov 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
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
