TWB

swMATH17666MaRDI QIDQ29521FDOQ29521

Author name not available (Why is that?)

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