Fundamenta Informaticae - Tom Vol. 154, nr 1/4 (2017) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 154, nr 1/4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

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ł: A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem (Halava V., Harju T., Sahla E.), s. 167--176
- 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ł: Alphabets of Acyclic Invariant Structures (Janicki R., Kleijn J., Koutny M., Mikulski Ł.), s. 207--224
- 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ł: Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations (Męski A., Koutny M., Penczek W.), s. 289--306
- 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ł: From Leśniewski, Łukasiewicz, Tarski to Pawlak : Enriching Rough Set Based Data Analysis. A Retrospective Survey (Polkowski L. T.), s. 343--358
- artykuł: Oritatami System : a Survey and the Impossibility of Simple Simulation at Small Delays (Rogers T. A., Seki S.), s. 359--372
- artykuł: Cooperation in Transport of Chemical Substances : A Complexity Approach within Membrane Computing (Valencia-Cabrera L., Orellana-Martín D., Martínez-del-Amor M. A., Riscos-Núñez A., Pérez-Jiménez M. J.), s. 373--385