Extracting unsatisfiable cores for LTL via temporal resolution.
- Published in:
- Acta Informatica, 2016, v. 53, n. 3, p. 247, doi. 10.1007/s00236-015-0242-1
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2016 AND VI 53 AND IP 3
Results: 3
1
2
Metric temporal logic revisited.
- Published in:
- Acta Informatica, 2016, v. 53, n. 3, p. 301, doi. 10.1007/s00236-015-0243-0
- By:
- Publication type:
- Article
3
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
- Published in:
- Acta Informatica, 2016, v. 53, n. 3, p. 207, doi. 10.1007/s00236-015-0231-4
- By:
- Publication type:
- Article