Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces

Authors: 
Gastin, P.
Kuske, D.
Year: 
2007
Language: 
English
Appeared / Erschienen in: 
Fundamenta Informaticae 80, 169-197, 2007.
URL: 
http://www.informatik.uni-leipzig.de/~kuske/PostScript/fi2.pdf
Abstract link: 
http://www.informatik.uni-leipzig.de/~kuske/PostScript/fi2.pdf
AttachmentSize
Gastin2007UniformsatisfiabilityinPSPACEforlocaltemporallogicsover.pdf281.57 KB