Login / Signup

On the relationships between theories of time granularity and the monadic second-order theory of one successor.

Angelo MontanariAdriano PeronGabriele Puppis
Published in: J. Appl. Non Class. Logics (2006)
Keyphrases