Title of article

Leanest quasi-orderings

Author/Authors

Nachum Dershowitz، نويسنده , , E. Castedo Ellerman، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2007

Pages

22

From page

535

To page

556

Keywords

Quasi-ordering , Well-quasi-ordering , Lexicographic path ordering

Journal title

Information and Computation

Serial Year

2007

Journal title

Information and Computation

Record number

262398