Linear Time Recognizer for Subsets of Z

Christophe Papazian, Eric Rmila

Browse the full FCT paper archive.