Browse by author
Lookup NU author(s): Dr Joey Coleman
This paper describes three extensions to computational tree logic: one which uses relational atomic propositions; one which can handle undefined terms; and, last, the direct combination of the first two extensions.
Author(s): Coleman JW
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2010
Pages: 13
Print publication date: 01/12/2010
Source Publication Date: December 2010
Report Number: 1230
Institution: Newcastle University
Place Published: Newcastle upon Tyne, UK