"A Note on the Semantics of Looping Programs in Propositional Dynamic L" by Francine Berman

Skip to main content

Department of Computer Science Technical Reports

Title

A Note on the Semantics of Looping Programs in Propositional Dynamic Logic

Authors

Francine Berman

Date of this Version

1980

Report Number

80-346

Number of Pages

17

Included in

Computer Sciences Commons

COinS