On Decidability of Monadic Logic of Order Over the Naturals Extended by Monadic Predicates
Information and Computation - United States
doi 10.1016/j.ic.2006.12.004
Full Text
Open PDFAbstract
Available in full text
Categories
Date
June 1, 2007
Authors
Publisher
Elsevier BV