Logical determinism/Bibliography: Difference between revisions
Jump to navigation
Jump to search
imported>John R. Brews (start page) |
imported>John R. Brews mNo edit summary |
||
| Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
For some insights on time, see {{cite journal |title=“Sometimes” and “Not Never” Revisited: On Branching versus Linear Time Temporal Logic |author=E Allen Emerson, Joseph Y Halpern |url=http://www.cs.utah.edu/~ritwik/papers/emerson.pdf |journal=Journal for the Association of Computing Machinery |date=January, 1986 |pages=151-178 |volume=33 |number=1}} | *For some insights on time, see {{cite journal |title=“Sometimes” and “Not Never” Revisited: On Branching versus Linear Time Temporal Logic |author=E Allen Emerson, Joseph Y Halpern |url=http://www.cs.utah.edu/~ritwik/papers/emerson.pdf |journal=Journal for the Association of Computing Machinery |date=January, 1986 |pages=151-178 |volume=33 |number=1}} | ||
Latest revision as of 07:10, 13 July 2015
- Please sort and annotate in a user-friendly manner. For formatting, consider using automated reference wikification.
- For some insights on time, see E Allen Emerson, Joseph Y Halpern (January, 1986). "“Sometimes” and “Not Never” Revisited: On Branching versus Linear Time Temporal Logic". Journal for the Association of Computing Machinery 33: 151-178.