A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/exn002
Full Text
Open PDFAbstract
Available in full text
Date
November 22, 2007
Authors
Publisher
Oxford University Press (OUP)