Sfoglia per Autore
Towards Compact and Tractable Automaton-Based Representations of Time Granularities
2003-01-01 Lago, U. D.; Montanari, A.; Puppis, G.
Decidability of the Theory of the Totally Unbounded omega-Layered Structure
2004-01-01 Montanari, Angelo; Puppis, G.
Decidability of MSO Theories of Tree Structures
2004-01-01 Montanari, Angelo; Puppis, Gabriele
Time Granularities and Ultimately Periodic Automata
2004-01-01 Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
Decidability of the theory of the totally unbounded ω-layered structure
2004-01-01 Montanari, A.; Puppis, G.
On the relationships between theories of time granularity and the monadic second-order theory of one successor
2006-01-01 Montanari, Angelo; Peron, A; Puppis, Gabriele
On the Equivalence of Automaton-based Representations of Time Granularities
2007-01-01 DAL LAGO, Ugo; Montanari, Angelo; Puppis, Gabriele
Compact and Tractable Automaton-based Representations for Time Granularities
2007-01-01 DAL LAGO, U; Montanari, Angelo; Puppis, Gabriele
A Contraction Method to Decide MSO Theory of Deterministic Trees
2007-01-01 Montanari, Angelo; Puppis, Gabriele
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity
2009-01-01 Bresolin, D; Montanari, Angelo; Puppis, G.
A Decidable Spatial Logic with Cone-shaped Cardinal Directions
2009-01-01 Montanari, Angelo; Puppis, G.; Sala, Pietro
Automata for branching and layered temporal structures: An investigation into regularities of infinite transition systems
2010-01-01 Puppis, G.
Automata vs. logics on data words
2010-01-01 Benedikt, M.; Ley, C.; Puppis, G.
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals
2010-01-01 Montanari, Angelo; Puppis, G; Sala, Pietro
What you must remember when processing data words
2010-01-01 Benedikt, M.; Ley, C.; Puppis, G.
Positive higher-order queries
2010-01-01 Benedikt, M.; Puppis, G.; Vu, H.
Decidability of the interval temporal logic ABB* over the natural numbers
2010-01-01 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, G.
The cost of traveling between languages
2011-01-01 Benedikt, M.; Puppis, G.; Riveros, C.
Regular repair of specifications
2011-01-01 Benedikt, M.; Puppis, G.; Riveros, C.
On the use of guards for logics with data
2011-01-01 Colcombet, T.; Ley, C.; Puppis, G.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile