Fundamenta Informaticae - Tom Vol. 150, nr 1 (2017) - Biblioteka Nauki - Yadda

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 150, nr 1

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2017

Identyfikatory

Zawartość wolumenu

Vol. 150, nr 1
- artykuł: A Framework for the Verification of Parameterized Infinite-state Systems (Alberti F., Ghilardi S., Sharygina N.), s. 1--24
- artykuł: From Argumentation Frameworks to Voting Systems and Back (Benedetti I., Bistarelli S.), s. 25--48
- artykuł: Program Verification using Constraint Handling Rules and Array Constraint Generalizations (De Angelis E., Fioravanti F., Pettorossi A., Proietti M.), s. 73--117
- artykuł: JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi (Ferrari M., Fiorentini C., Fiorino G.), s. 119--142

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