On the Relationships Between Theories of Time Granularity and the Monadic Second−order Theory of One Successor
Angelo Montanari‚ Adriano Peron and Gabriele Puppis
Journal
Journal of Applied Non−Classical Logics
Year
2006
Angelo Montanari‚ Adriano Peron and Gabriele Puppis