Fundamenta Informaticae - Tom Vol. 36, nr 1 (1998) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 36, nr 1

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

1998

Identyfikatory

Zawartość wolumenu

Vol. 36, nr 1
- artykuł: Adding partial orders to Linear Temporal Logic (Bhat G., Peled D.), s. 1-21
- artykuł: General Domain Circumscription and its effective reductions (Doherty P., Łukaszewicz W., Szałas A.), s. 23-55
- artykuł: On the size of stack and synchronization alphabets of tree automata (Rahonis G., Salomaa K.), s. 57-69
- artykuł: Processes of contextual nets and their characteristics (Winkowski J.), s. 71-101

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.