On Gabbay's temporal fixed point operator
File(s)
Accepted version
Author(s)
HODKINSON, I
Type
Journal Article
Version
Accepted version
Date Issued
1995-03-06
Citation
THEOR COMPUT SCI Vol.( 139 ) No.( 1-2 ) pp 1 - 25
ISSN
0304-3975
Start Page
1
End Page
25
Copyright Statement
© 1995 Elsevier Science B.V. This is the author’s version of a work that was accepted for publication in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Theoretical Computer Science, volume 139, issue 1-2 (March 1995). doi:10.1016/0304-3975(94)00084-V.
Source Volume Number
139