TitleTerms with unbounded demonic and angelic nondeterminacy
Publication TypeJournal Article
Year of Publication2007
AuthorsMorris J, Tyrrell M.
JournalScience of Computer Programming
Volume65
Date Published2007
URLhttps://sharepoint.lero.ie/Publications/2007/Journals/2007-Morris-Terms%20with%20unbounded%20demonic%20and%20angelic%20nondeterminacy.pdf