CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 63
Titolo Autore(i) Anno Periodico Editore Tipo File
Time Granularities and Ultimately Periodic Automata Davide Bresolin; Angelo Montanari; Gabriele Puppis 2004-01-01 - Springer 4.01 Contributo in Atti di convegno -
A tableau-based decision procedure for a branching-time interval temporal logic Davide Bresolin; Angelo Montanari 2005-01-01 - Humboldt University 4.01 Contributo in Atti di convegno -
A tableau-based decision procedure for right propositional neighborhood logic Davide Bresolin; Angelo Montanari 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
Relational dual tableaux for interval temporal logics Davide Bresolin; Joanna Golinska-Pilarek; Ewa Orlowska 2006-01-01 JOURNAL OF APPLIED NON-CLASSICAL LOGICS - 1.01 Articolo in rivista -
Proof methods for Interval Temporal Logics Davide Bresolin 2007-01-01 - Forum Editrice Universitaria Udinese 3.01 Monografia / trattato scientifico in forma di libro -
Tableau Systems for Logics of Subinterval Structures over Dense Orderings Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala 2007-01-01 - Springer 4.01 Contributo in Atti di convegno -
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics Davide Bresolin; Valentin Goranko; Angelo Montanari; Guido Sciavicco 2007-01-01 - Springer 4.01 Contributo in Atti di convegno -
An optimal decision procedure for Right Propositional Neighborhood Logic Davide Bresolin; Angelo Montanari; Guido Sciavicco 2007-01-01 JOURNAL OF AUTOMATED REASONING - 1.01 Articolo in rivista -
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic Davide Bresolin; Angelo Montanari; Pietro Sala 2007-01-01 - Springer 4.01 Contributo in Atti di convegno -
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders D. Bresolin; A. Montanari; P. Sala; G. Sciavicco 2008-01-01 - Springer 4.01 Contributo in Atti di convegno -
Optimal tableau for Right Propositional Neighborhood Logic over trees D. Bresolin; A. Montanari; P. Sala 2008-01-01 - IEEE Comp. Society Press 4.01 Contributo in Atti di convegno -
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification D. Bresolin; D. Della Monica; V. Goranko; A. Montanari; G. Sciavicco 2008-01-01 - Springer 4.01 Contributo in Atti di convegno -
Reachability computation for hybrid systems with Ariadne L. Benvenuti; D. Bresolin; A. Casagrande; P. Collins; A. Ferrari; E. Mazzi; A. Sangiovanni-Vincen...telli; T. Villa 2008-01-01 - Academic Press, Elsevier 4.01 Contributo in Atti di convegno -
A tableau-based system for spatial reasoning about directional relations Bresolin D.; Montanari A.; Sala P.; Sciavicco G. 2009-01-01 - Springer 4.01 Contributo in Atti di convegno -
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings D. Bresolin; V. Goranko; A. Montanari; P. Sala 2009-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Undecidability of interval temporal logics with the overlap modality Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco 2009-01-01 - IEEE Comp. Society Press 4.01 Contributo in Atti di convegno -
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions D. Bresolin; V. Goranko; A. Montanari; G. Sciavicco 2009-01-01 ANNALS OF PURE AND APPLIED LOGIC - 1.01 Articolo in rivista -
The impact of EFSM composition on functional ATPG D. Bresolin; G. Di Guglielmo; F. Fummi; G. Pravadelli; T. Villa 2009-01-01 - IEEE Computer Society 4.01 Contributo in Atti di convegno -
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity D. Bresolin; A. Montanari; G. Puppis 2009-01-01 ACTA INFORMATICA - 1.01 Articolo in rivista -
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths Bresolin D.; Goranko V.; Montanari A.; Sciavicco G. 2009-01-01 - IEEE Comp. Society Press 4.01 Contributo in Atti di convegno -
Mostrati risultati da 1 a 20 di 63
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