| Заглавие | ON THE DURATION DOMAINS FOR THE INTERVAL TEMPORAL LOGIC |
| Вид публикация | Journal Article |
| Година на публикуване | 2002 |
| Автори | Skordev D |
| Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Том | 94 |
| Pagination | 27-33 |
| ISSN | 0205-0808 |
| ключови думи | duration domain, interval temporal logic, positive cone, right-ordered group |
| Резюме | The duration domains for the Interval Temporal Logic are characterized as the positive cones of the right-ordered groups. |
| 2000 MSC | main 06F15, secondary 03B70 |
| Прикачен файл | Размер |
|---|---|
| 552.98 KB |