Using automata to characterise fixed point temporal logics
dc.contributor.author
Kaivola, Roope
en
dc.date.accessioned
2016-03-01T11:35:56Z
dc.date.available
2016-03-01T11:35:56Z
dc.date.issued
1996
dc.description.abstract
en
dc.identifier.uri
http://hdl.handle.net/1842/15130
dc.publisher
The University of Edinburgh
en
dc.relation.ispartof
KB thesis scanning project 2015
en
dc.title
Using automata to characterise fixed point temporal logics
en
dc.type
Thesis or Dissertation
en
dc.type.qualificationlevel
Doctoral
en
dc.type.qualificationname
PhD Doctor of Philosophy
en
Files
Original bundle
1 - 1 of 1
- Name:
- Kaivola1996.Pdf
- Size:
- 10.35 MB
- Format:
- Adobe Portable Document Format
This item appears in the following Collection(s)