Session Infinite_Descent_Criteria

Theories

• Preliminaries
• Buchi_Preliminaries
• Directed_Graphs
• Sloped_Graphs
• Descending_Unicycles_Criterion
• Flat_Cycles_Criterion
• Incomplete_Criteria
• VLA_Criterion
• Relation_Based_Criterion
• SLA_Criterion
• SD_Incomplete
• XSD_Incomplete
• All
• OXSD_Criterion
• OXSD_Incomplete
• XSD_Equivalence
• Flat_Aux
• Flat_Aux_VLA
• Flat_Aux_SLA
• Descending_Unicycles_CounterExample
• Descending_Unicycles_Example
• Flat_Cycle_Example