Emilio Mu\~noz-Velasco

Identifiers

No identifiers captured yet.

Papers (1)

1. Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report) cs.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Agi Kurucz 1 shared papers
• Davide Bresolin 1 shared papers
• Guido Sciavicco 1 shared papers
• Michael Zakharyaschev 1 shared papers
• Vladislav Ryzhikov 1 shared papers