Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)

Sorry, there's nothing here.

Cite this paper

@article{Bresolin2016HornFO, title={Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)}, author={Davide Bresolin and {\'A}gnes Kurucz and Emilio Mu{\~n}oz-Velasco and Vladislav Ryzhikov and Guido Sciavicco and Michael Zakharyaschev}, journal={CoRR}, year={2016}, volume={abs/1604.03515} }