One-and-a-halfth-order logic
- M.J. Gabbay
- , A.H.J. Mathijssen
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
18
Link opens in a new tab
Citations
(Scopus)