A syntax-based approach to reasoning about actions and events

Quoc Bao Vo, Abhaya Nayak, Norman Foo

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

Fingerprint

Dive into the research topics of 'A syntax-based approach to reasoning about actions and events'. Together they form a unique fingerprint.

Mathematics