𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Qualitative Model for Time Granularity

✍ Scribed by Gérard Becher; Françoise Clérin-Debart; Patrice Enjalbert


Book ID
108507839
Publisher
John Wiley and Sons
Year
2000
Tongue
English
Weight
421 KB
Volume
16
Category
Article
ISSN
0824-7935

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Definability and decidability of binary
✍ Massimo Franceschet; Angelo Montanari; Adriano Peron; Guido Sciavicco 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 288 KB

In this paper we study the definability and decidability of binary predicates for time granularity in monadic languages interpreted over finitely and infinitely layered structures. We focus our attention on the equi-level (respectively equi-column) predicate constraining two time points to belong to