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