Decidable Membership Problems for Finite Recurrent Systems over Sets of Naturals.

Daniel Meister

Browse the full FCT paper archive.