Tableaux(-like) Methods for the Satisfiability Problems of Temporal Logics.
VenueBTABLEAUX
Year2011
ProceedingsTABLEAUX (Workshops, Tutorials, and Short Papers)
DBLP recordconf/tableaux/Lange11 ↗
Browse the full TABLEAUX paper archive.
Browse the full TABLEAUX paper archive.