Title of article :
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic
Author/Authors :
Martin Müller، نويسنده , , Joachim Niehren، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Keywords :
Entailment , tree orderings , Decidability , Complexity , second-order monadic logic. , feature logic
Journal title :
Information and Computation
Journal title :
Information and Computation
