Browse by Person

Group by: Item Type | Date | Journal or Publication Title | No Grouping

Number of items: 1.

Bresolin, D. and Kurucz, A. and Muñoz-Velasco, E. and Ryzhikov, Vladislav and Sciavicco, G. and Zakharyaschev, Michael (2017) Horn fragments of the Halpern-Shoham Interval Temporal Logic. ACM Transactions on Computational Logic 18 (3), pp. 1-39. ISSN 1529-3785.

This list was generated on Sat Nov 30 05:06:42 2024 GMT.

Export as	Atom RSS