Fundamenta Informaticae - Tom Vol. 165, nr 3-4 (2019) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 165, nr 3-4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2019

Identyfikatory

Uwagi

Concurrency, Specification, and Programming : Special Issue of Selected Papers of CS&P 2017

Zawartość wolumenu

Vol. 165, nr 3-4
- artykuł: What Are Justification Logics? (Fitting Melvin), s. 193--203
- artykuł: Semantics and Controllability of Time-Aware Business Processes (De Angelis Emanuele, Fioravanti Fabio, Meo Maria Chiara, Pettorossi Alberto, Proietti Maurizio), s. 205--244
- artykuł: Experimental Study of Totally Optimal Decision Trees (Aldilaijan Abdulla, Azad Mohammad, Moshkov Mikhail), s. 245--261
- artykuł: A Classifier Based on a Decision Tree with Temporal Cuts (Bazan Jan G., Szczur Adam, Skowron Andrzej, Rzepko Marian, Król Paweł, Bajorek Wojciech, Czarny Wojciech), s. 263--281
- artykuł: Linking Reaction Systems with Rough Sets (Dutta Soma, Rozenberg Grzegorz, Jankowski Andrzej, Skowron Andrzej), s. 283--302
- artykuł: Studying Opacity of Reaction Systems through Formula Based Predictors (Gori Roberta, Gruska Damas, Milazzo Paolo), s. 303--319
- artykuł: Applying Modern SAT-solvers to Solving Hard Problems (Niewiadomski Artur, Switalski Piotr, Sidoruk Teofil, Penczek Wojciech), s. 321--344
- artykuł: Towards Encoding of the Transition Relation in Dialogue Games Model Checking (Sawicka Anna, Kacprzak Magdalena, Zbrzezny Andrzej), s. 345--361
- artykuł: From Data to Pattern Structures : Near Set Approach (Wolski Marcin, Gomolińska Anna), s. 363--380

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