Fundamenta Informaticae - Tom Vol. 92, nr 3 (2009) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 92, nr 3

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2009

Identyfikatory

Zawartość wolumenu

Vol. 92, nr 3
- artykuł: The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach (Foustoucos E., Kalantzi L.), s. 193-231
- artykuł: Autonomous Units to Model Interacting Sequential and Parallel Processes (Hölscher K., Kreowski H-J., Kuske S.), s. 233-257
- artykuł: Greedy Algorithm for Construction of Partial Association Rules (Moshkov M.Ju., Piliszczuk M.), s. 259-277
- artykuł: Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I (Sroka J., Hidders J.), s. 279-299
- artykuł: A Proof of Plotkin's Conjecture (Yinbin L., Maokang L.), s. 301-306

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