Fundamenta Informaticae - Tom Vol. 156, nr 3/4 (2017) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 156, nr 3/4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2017

Identyfikatory

Zawartość wolumenu

Vol. 156, nr 3/4
- artykuł: Forcing for First-Order Languages from the Perspective of Rasiowa-Sikorski Lemma (Czelakowski J.), s. 255--280
- artykuł: A Discrete Representation for Dicomplemented Lattices (Düntsch I., Kwuida L., Orłowska E.), s. 281--295
- artykuł: On Modalities and Quantifiers (Fitting M.), s. 297--330
- artykuł: Duality for Quasilattices and Galois Connections (Romanowska A. B., Smith J. D. H.), s. 331--359
- artykuł: Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics εL; εL+ and their Extensions with n-ary Roles and Numerical Domains (Sofronie-Stokkermans V.), s. 361--411
- artykuł: Mereotopologies with Predicates of Actual Existence and Actual Contact (Vakarelov D.), s. 413--432

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ć.