Proof-Systems for PLTL: Cycling Sequents and their Use in a Finitization for PLTL

TitleProof-Systems for PLTL: Cycling Sequents and their Use in a Finitization for PLTL
Publication TypeMaster's Thesis
2009
AuthorsTraber, R
http://www.iam.unibe.ch/ltgpub/2009/tra09.pdf