- Lossy Channel Games under Incomplete Information Rayna Dimitrova Bernd Finkbeiner Fri 27 December 2013
- 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
- Better quasi-orders for uncountable cardinals Saharon Shelah Sat 29 December 2012
- Foundations of BQO Theory Alberto Marcone Sun 02 December 2012
- On better-quasi-ordering transfinite sequences Crispin St. John Alvah Nash-Williams Sat 01 December 2012
- Well (and better) quasi-ordered transition systems Parosh Aziz Abdulla Sat 01 December 2012
- From well-quasi-ordered sets to better-quasi-ordered sets Maurice Pouzet Norbert Sauer Sat 01 December 2012
- Better Quasi-Ordered Transition Systems Parosh Aziz Abdulla Aletta Nylén Thu 20 September 2012
- Better is Better than Well: On Efficient Verification of Infinite-State Systems Parosh Aziz Abdulla Aletta Nylén Thu 20 September 2012
- Timed Petri Nets and BQOs Parosh Aziz Abdulla Aletta Nylén Thu 20 September 2012
Library Size: 13G (11 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
