Searching for authors named "Pietro Abate" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
System Description: The Tableaux Work Bench. Can be found at: http://csl.anu.edu.au/ abate/twb
- …System Description: The Tableaux Work Bench Pietro Abate and Rajeev Goré Australian National…
- Cited by 3 (1 self) – Add To MetaCart
-
Theory and practice of a generic tableau engine: The Tableau WorkBench. Submitted Manuscript 15
- …Theory and Practice of a Generic Tableau Engine: The Tableau WorkBench Pietro Abate 1 and Rajeev…
- Cited by 1 (1 self) – Add To MetaCart
-
Cut-free single-pass tableaux for the logic of common knowledge
- …Cut-free Single-pass Tableaux for the Logic of Common Knowledge Pietro Abate 1 , Rajeev Goré 1…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 3.
