TWB

MaRDI QIDQ29521swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S1571066109000346

Described by source

• The Tableau Workbench

Cited in

(4)

• Sublogics of a branching time logic of robustness
• LoTREC
• SableCC
• Relational dual tableau decision procedure for modal logic K

This page was built for software: TWB