Classifying Regular Events in Symbolic Logic

Wolfgang Thomas. Classifying Regular Events in Symbolic Logic. J. Comput. Syst. Sci., 25(3):360-376, 1982.

Abstract

Abstract is missing.