Relational dual tableaux for interval temporal logics
Dane publikacji
Typ publikacji
Publikacja w czasopiśmie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Relational dual tableaux for interval temporal logics
Adres internetowy
Tytuł czasopisma
JOURNAL OF APPLIED NON-CLASSICAL LOGICS
Medium
publikacja drukowana
Tom
16
Zeszyt
3-4
Rok wydania
2006
Od strony
251
Do strony
277
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2006
Lista autorów
1.
Joanna Golińska-Pilarek
,
Zakład Logiki
[
Współautor
]
2.
Ewa Orłowska,
Jednostka zewnetrzna; Instytut Łączności
[
Współautor
]
3.
David Bresolin,
Jednostka zewnetrzna
[
Współautor
]