Fundamenta Informaticae - Tom Vol. 123, nr 1 (2013) - Biblioteka Nauki - Yadda

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. 123, nr 1

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2013

Identyfikatory

Zawartość wolumenu

Vol. 123, nr 1
- artykuł: Decision Problems for Probabilistic Finite Automata on Bounded Languages (Bell P. C., Halava V., Hirvensalo M.), s. 1--14
- artykuł: Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P (Chaloupka J.), s. 15--42
- artykuł: Gödel Homomorphisms as Gödel Modal Operators (Fasching O.), s. 43--57
- artykuł: Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width (Ganian R., Hlinĕný P., Obdržálek J.), s. 59--76
- artykuł: A Consequence Relation for Graded Inference within the Frame of Infinite-valued Łukasiewicz Logic (Muiño D. P.), s. 77--95
- artykuł: Efficient Construction of Semilinear Representations of Languages Accepted by Unary Nondeterministic Finite Automata (Sawa Z.), s. 97--106
- artykuł: Proving the Power of Postselection (Yakaryılmaz A., Say A. C. C.), s. 107--134

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