Pietro Abate (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Pietro Abate, Rajeev Goré, Florian Widmann: An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. Electr. Notes Theor. Comput. Sci. 231: 191-209 (2009)

4 Pietro Abate, Rajeev Goré, Florian Widmann: One-Pass Tableaux for Computation Tree Logic. LPAR 2007: 32-46

3 Pietro Abate, Rajeev Goré, Florian Widmann: An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability CoRR abs/0711.1016: (2007)

Selection of 3 from 7 records - Pietro Abate has 6 coauthors

6		Pietro Abate, Rajeev Goré, Florian Widmann: An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. Electr. Notes Theor. Comput. Sci. 231: 191-209 (2009)
4		Pietro Abate, Rajeev Goré, Florian Widmann: One-Pass Tableaux for Computation Tree Logic. LPAR 2007: 32-46
3		Pietro Abate, Rajeev Goré, Florian Widmann: An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability CoRR abs/0711.1016: (2007)