Decidability via Mosaics for Bundled Ockhamist Logic

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) ◽

10.1109/time.2015.10 ◽

2015 ◽

Author(s):

Alberto Gatto

Download Full-text