The Tableau WorkBench (TWB)

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

Publications

Found 4 results

Sort by:[Year][Title][Type][Author]
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
Thesis
A Revised Tactic Semantics for the Tableau Work Bench, Kelly, J. , Department of Computer Science, Canberra, Australia, p.74, (2009) Abstract
Conference Paper
System Description: The Tableaux Work Bench, Abate, P.; Gore, R. , TABLEAUX, (2003) Abstract