Characterizing EF and EX Tree Logics
Theoretical Computer Science - Netherlands
doi 10.1016/j.tcs.2006.01.018
Full Text
Open PDFAbstract
Available in full text
Date
August 1, 2006
Authors
Publisher
Elsevier BV
Available in full text
August 1, 2006
Elsevier BV