Intervals in non-linear point time : the longer paper

• Autorzy: Hajnicz E.

Warianty tytułu

PL

Reprezentacja przedziałów w nieliniowym czasie punktowym

• Języki publikacji: EN

Abstrakty

EN

This report contains a characterization of time intervals defined in point time framework. We start from presenting brief description of non-linear point time structures. Next basic properties of sets of points and pairs of points are suggested, and their comparison is conducted. Complete axiomatizations are presented for all the theories depending on definition of intervals and relations ordering them.

PL

Niniejsza praca zawiera charakterystykę reprezentacji przedziałów czasu jako zbiorów i jako par punktów czasu. Na początku przedstawiony został zwięzły opis nieliniowych struktur czasu. Następnie opisane zostały podstawowe własności zbiorów punktów i par punktów wraz z ich porównaniem. Dla wszystkich teorii przedstawione są pełne aksjomatyzacje, uzależnione od definicji przedziałów i porządkujących je relacji.

Słowa kluczowe

EN

nonlinear time structures; time points; time intervals; sets of points; pairs of points

PL

nieliniowe struktury czasu; czas punktowy; przedziały czasu; zbiory punktów; pary punktów

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 1998
• Tom: nr 868
• Strony: 3--144

Twórcy

autor

Hajnicz E.

• Institute of Computer Science Polish Academy of Science Ordona 21 01-237 Warszawa, Poland,