Propositional dynamic logic of regular programs with tests, converse and infinite computations
By: by Francis J. Smith.
Series: Carleton-Ottawa mathematical lecture note series -- no. 10
Publisher: Carleton University, Mathematics and Statistics
Published: 1988
Place of publication: Ottawa
Language: eng
Number of pages: 138
Subjects: Computer programs; Logic, Symbolic and mathematical
Notes: Bibliography: p. 131-138.