First-order logic with reachability for infinite-state systems - きゃ's scrap box

First-order logic with reachability for infinite-state systems

2016

https://ieeexplore.ieee.org/document/8576482

logic first-order logic