The SCEAS System
| |||||||

## Search the dblp DataBase
Davide Bresolin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Davide Bresolin, Angelo Montanari, Gabriele Puppis
**Time Granularities and Ultimately Periodic Automata.**[Citation Graph (0, 0)][DBLP] JELIA, 2004, pp:513-525 [Conf] - Davide Bresolin, Angelo Montanari, Pietro Sala
**An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.**[Citation Graph (0, 0)][DBLP] STACS, 2007, pp:549-560 [Conf] - Davide Bresolin, Angelo Montanari
**A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2005, pp:63-77 [Conf] - Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
**On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.**[Citation Graph (0, 0)][DBLP] LFCS, 2007, pp:84-99 [Conf] - Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
**Tableau Systems for Logics of Subinterval Structures over Dense Orderings.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2007, pp:73-89 [Conf] - Davide Bresolin, Angelo Montanari, Guido Sciavicco
**An Optimal Decision Procedure for Right Propositional Neighborhood Logic.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2007, v:38, n:1-3, pp:173-199 [Journal] **The impact of EFSM composition on functional ATPG.**[Citation Graph (, )][DBLP]**Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.**[Citation Graph (, )][DBLP]**Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.**[Citation Graph (, )][DBLP]**Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.**[Citation Graph (, )][DBLP]**Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.**[Citation Graph (, )][DBLP]**A Tableau-Based System for Spatial Reasoning about Directional Relations.**[Citation Graph (, )][DBLP]**Undecidability of Interval Temporal Logics with the Overlap Modality.**[Citation Graph (, )][DBLP]**An optimal tableau for Right Propositional Neighborhood Logic over Trees.**[Citation Graph (, )][DBLP]**A theory of ultimately periodic languages and automata with an application to time granularity.**[Citation Graph (, )][DBLP]**Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.**[Citation Graph (, )][DBLP]**Begin, After, and Later: a Maximal Decidable Interval Temporal Logic**[Citation Graph (, )][DBLP]**Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.**[Citation Graph (, )][DBLP]**Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |