The Tableau WorkBench (TWB)

  • About Us
  • Demo
  • Download
  • Publications
  • Tutorial
  • Forum
  • Login
  • Projects
  • Site News
Home

Publications

Found 3 results

Sort by:[Year][Title][Type][Author]
Filters: author is Gore  [Clear All Filters]
Manuscript
A cut free tableau calculus for the logic of common knowledge, Abate, P.; Gore, R. , (2007) Abstract
Theory and Practice of a Generic Tableau Engine: The Tableau WorkBench, Abate, P.; Gore, R. , (2007) Abstract
Conference Paper
System Description: The Tableaux Work Bench, Abate, P.; Gore, R. , TABLEAUX, (2003) Abstract