Gabriele Puppis Papers on DiSC'04 Decidability of the Theory of the Totally Unbounded omega-Layered Structure Decidability of the Theory of the Totally Unbounded omega-Layered Structure Decidability of the Theory of the Totally Unbounded omega-Layered Structure Publications Note: Links lead to the DBLP on the Web. Gabriele Puppis Angelo Montanari , Gabriele Puppis: Decidability of MSO Theories of Tree Structures. FSTTCS 2004 : 434-446 Davide Bresolin , Angelo Montanari , Gabriele Puppis: Time Granularities and Ultimately Periodic Automata. JELIA 2004 : 513-525 Angelo Montanari , Gabriele Puppis: Decidability of the Theory of the Totally Unbounded omega-Layered Structure. TIME 2004 : 156-160 Ugo Dal Lago , Angelo Montanari , Gabriele Puppis: Towards Compact and Tractable Automaten-Based Representations of Time Granularities. ICTCS 2003 : 72-85 1 [ 3 ] 2 [ 1 ] 3 [ 1 ] [ 2 ] [ 3 ] [ 4 ] ©2005 Association for Computing Machinery