Return to Article Details
Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
Download
Download PDF