Metric Temporal Description Logics with Interval-Rigid Names
- Franz Baader
- Stefan Borgwardt
- et al.
- 2020
- ACM TOCL
Publications
5 results at ACM TOCL
Safety and liveness, weakness and strength, and the underlying topological relations
- Cindy Eisner
- Dana Fisman
- et al.
- 2014
- ACM TOCL
What causes a system to satisfy a specification
- Hana Chockler
- Joseph Y. Halpern
- et al.
- 2008
- ACM TOCL
Precongruence formats for decorated trace semantics
- Bard Bloom
- Wan Fokkink
- et al.
- 2004
- ACM TOCL
Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic
- Randal E. Bryant
- Steven German
- et al.
- 2001
- ACM TOCL