Title of article :
A linear time algorithm for monadic querying of indefinite data over linearly ordered domains
Author/Authors :
Mizuhito Ogawa، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Keywords :
Higman’s lemma , Well-quasi-ordering , Indefinite data , Query answering , Linear-time algorithm
Journal title :
Information and Computation
Journal title :
Information and Computation