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
Pages
32
From page
182
To page
213
Keywords
confluence , Termination , Decidability , Linearity , quantifier prefix classes. , term rewriting system , first-order theoryof one step rewriting
Journal title
Information and Computation
Serial Year
2002
Journal title
Information and Computation
Record number
262059
Link To Document