Encoding solutions of the frame problem in dynamic logic
- Norman Foo
- , Dongmo Zhang
- , Yan Zhang
- , Samir Chopra
- , Bao Quoc Vo
- University of New South Wales
Research output: Contribution to journal › Article › peer-review
5
Citations
(Scopus)