Title of article :
The Undecidability of the First-Order Theories of One Step Rewriting in Linear Canonical Systems
Author/Authors :
Sergei Vorobyov، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Keywords :
confluence , Termination , Decidability , Linearity , quantifier prefix classes. , term rewriting system , first-order theoryof one step rewriting
Journal title :
Information and Computation
Journal title :
Information and Computation
