Clausal resolution for branching-time temporal logic.
Contributors: Manchester Metropolitan University. Department of Computing and Mathematics.
Published: 2000
Language: eng
Notes: Typescript.

Thesis submitted in fulfilment of Ph.D to Manchester Metropolitan University, Department of Computing and Mathematics, 2000.