Satisfiability checker for Propositional Temporal Logic

  • H.W. de Vries

Student thesis: Master

Abstract

Date of Award31 Aug 1989
Original languageEnglish
SupervisorJ.A.G. Jess (Supervisor 1)

Cite this

Satisfiability checker for Propositional Temporal Logic
de Vries, H. W. (Author). 31 Aug 1989

Student thesis: Master