PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 154, nr 1/4
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2017
Identyfikatory
Zawartość wolumenu
Vol. 154, nr 1/4
artykuł:
Incremental Process Discovery using Petri Net Synthesis
(
Badouel E.
,
Schlachter U.
), s. 1--13
artykuł:
A Foundational Framework for Step-by-step Model Construction
(
Barash M.
,
Petre I.
), s. 15--24
artykuł:
Synthesis of Transition Systems from Quantum Logics
(
Bernardinello L.
,
Ferigato C.
,
Pomello L.
,
Puerto Aubel A.
), s. 25--36
artykuł:
It is Undecidable if Two Regular Tree Languages can be Separated by a Deterministic Tree-walking Automaton
(
Bojańczyk M.
), s. 37--46
artykuł:
Species-Driven Persistent Phylogeny
(
Bonizzoni P.
,
Carrieri A. P.
,
Della Vedova G.
,
Rizzi R.
,
Trucco G.
), s. 47--63
artykuł:
k-Abelian Equivalence and Rationality
(
Cassaigne J.
,
Karhumäki J.
,
Puzynina S.
,
Whiteland M. A.
), s. 65--94
artykuł:
Interactive Logical Structures
(
Dutta S.
,
Jankowski A.
,
Skowron A.
), s. 95--108
artykuł:
The Weighted Matching Approach to Maximum Cardinality Matching
(
Gabow H. N.
), s. 109--130
artykuł:
Enforcing Regular Languages
(
Genova D.
,
Hoogeboom H. J.
), s. 131--144
artykuł:
CCS(25,12) is Turing-complete
(
Gorrieri R.
), s. 145--166
artykuł:
Small Semi-Thue System Universal with Respect to the Termination Problem
(
Halava V.
,
Matiyasevich Y.
,
Niskanen R.
), s. 177--184
artykuł:
State Complexity of k-Parallel Tree Concatenation
(
Han Y.-S.
,
Ko S.-K.
,
Salomaa K.
), s. 185--199
artykuł:
D0L Sequences and their Equality Sets
(
Honkala J.
), s. 201--206
artykuł:
Patterns and Distances in Words Related to DNA Rearrangement
(
Jonoska N.
,
Nabergall L.
,
Saito M.
), s. 225--238
artykuł:
Smart Tile Self-Assembly and Replication
(
Kari L.
,
Simjour A.
), s. 239--260
artykuł:
Tissue P Systems with Small Cell Volume
(
Leporati A.
,
Manzoni L.
,
Mauri G.
,
Porreca A. E.
,
Zandron C.
), s. 261--275
artykuł:
On Fixed Points of the Burrows-Wheeler Transform
(
Mantaci S.
,
Restivo A.
,
Rosone G.
,
Russo F.
,
Sciortino M.
), s. 277--288
artykuł:
Efficient Simulation of Reaction Systems on Graphics Processing Units
(
Nobile M. S.
,
Porreca A. E.
,
Spolaor S.
,
Manzoni L.
,
Cazzaniga P.
,
Mauri G.
,
Besozzi D.
), s. 307--321
artykuł:
Morphic Characterizations of Language Families Based on Local and Star Languages
(
Okubo F.
,
Yokomori T.
), s. 323--341
artykuł:
Oritatami System : a Survey and the Impossibility of Simple Simulation at Small Delays
(
Rogers T. A.
,
Seki S.
), s. 359--372
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ć.