Search Whole Repository

Displaying 1 - 1 of 1

Propositional dynamic logic of regular programs with tests, converse and infinite computations.

Collection: Theses and Dissertations
Creator: Smith, Francis J.
Date: 1988
Degree Discipline: Information and Systems Science
Degree Name: Master of Science

Collections

Filter by thesis degree level:

Filter by thesis degree discipline:

Filter by date:

Items in CURVE are protected by copyright, with all rights reserved, unless otherwise indicated. They are made available with permission from the author(s).