153 citations
- Centrum Wiskunde & InformaticaNL2 papers
- Sobolev Institute of MathematicsRU2 papers
- University UcinfCL2 papers
- Alexandru Ioan Cuza UniversityRO1 paper
- Arizona State UniversityUS1 paper
- Boston UniversityUS1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Chalmers University of TechnologySE1 paper
- Délégation Paris 7FR1 paper
- DePaul UniversityUS1 paper
- Eindhoven University of TechnologyNL1 paper
- INESC TECPT1 paper
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 12 cited
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
Davide Bresolin, Dario Della Monica, Angelo Montanari +2
Interval temporal logics provide a general framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive onto…
cs.LO2012
Characteristic Formulae for Relations with Nested Fixed Points
Luca Aceto, Anna Ingólfsdóttir
A general framework for the connection between characteristic formulae and behavioral semantics is described in [2]. This approach does not suitably cover semantics defined by nest…