Skip to content

A Modal Temporal Logic for Reasoning about Change.

Eric Mays

VenueA*ACL
Year1983
ProceedingsACL

Browse the full ACL paper archive.