مرکز منطقه ای اطلاع رساني علوم و فناوري - The ∃ *∀ * Part of the Theory of Ground Term Algebra Modulo an AC Symbol is Undecidable

Title of article :

The ∃ *∀ * Part of the Theory of Ground Term Algebra Modulo an AC Symbol is Undecidable

Author/Authors :

Jerzy Marcinkowski، نويسنده ,

Issue Information :

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

Pages :

From page :

412

To page :

421

Keywords :

equational theories , decidability. , unification

Journal title :

Information and Computation

Serial Year :

2002

Journal title :

Information and Computation

Record number :

333731

Link To Document :