default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 154
Volume 154, Numbers 1-4, 2017
- Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
Preface. vii
- Éric Badouel, Uli Schlachter:
Incremental Process Discovery using Petri Net Synthesis. 1-13 - Mikhail Barash, Ion Petre
:
A Foundational Framework for Step-by-step Model Construction. 15-24 - Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel:
Synthesis of Transition Systems from Quantum Logics. 25-36 - Mikolaj Bojanczyk:
It is Undecidable if Two Regular Tree Languages can be Separated by a Deterministic Tree-walking Automaton. 37-46 - Paola Bonizzoni, Anna Paola Carrieri, Gianluca Della Vedova, Raffaella Rizzi, Gabriella Trucco:
Species-Driven Persistent Phylogeny. 47-63 - Julien Cassaigne, Juhani Karhumäki, Svetlana Puzynina, Markus A. Whiteland:
k-Abelian Equivalence and Rationality. 65-94 - Soma Dutta, Andrzej Jankowski, Andrzej Skowron:
Interactive Logical Structures. 95-108 - Harold N. Gabow:
The Weighted Matching Approach to Maximum Cardinality Matching. 109-130 - Daniela Genova, Hendrik Jan Hoogeboom:
Enforcing Regular Languages. 131-144 - Roberto Gorrieri:
CCS(25, 12) is Turing-complete. 145-166 - Vesa Halava, Tero Harju, Esa Sahla:
A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem. 167-176 - Vesa Halava, Yuri V. Matiyasevich, Reino Niskanen:
Small Semi-Thue System Universal with Respect to the Termination Problem. 177-184 - Yo-Sub Han, Sang-Ki Ko, Kai Salomaa:
State Complexity of k-Parallel Tree Concatenation. 185-199 - Juha Honkala:
D0L Sequences and their Equality Sets. 201-206 - Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Alphabets of Acyclic Invariant Structures. 207-224 - Natasa Jonoska, Lukas Nabergall, Masahico Saito:
Patterns and Distances in Words Related to DNA Rearrangement. 225-238 - Lila Kari, Amirhossein Simjour:
Smart Tile Self-Assembly and Replication. 239-260 - Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Tissue P Systems with Small Cell Volume. 261-275 - Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Floriana Russo, Marinella Sciortino:
On Fixed Points of the Burrows-Wheeler Transform. 277-288 - Artur Meski, Maciej Koutny, Wojciech Penczek:
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations. 289-306 - Marco S. Nobile, Antonio E. Porreca, Simone Spolaor, Luca Manzoni, Paolo Cazzaniga, Giancarlo Mauri, Daniela Besozzi:
Efficient Simulation of Reaction Systems on Graphics Processing Units. 307-321 - Fumiya Okubo, Takashi Yokomori:
Morphic Characterizations of Language Families Based on Local and Star Languages. 323-341 - Lech T. Polkowski:
From Leśniewski, Łukasiewicz, Tarski to Pawlak: Enriching Rough Set Based Data Analysis. A Retrospective Survey. 343-358 - Trent A. Rogers, Shinnosuke Seki:
Oritatami System; a Survey and the Impossibility of Simple Simulation at Small Delays. 359-372 - Luis Valencia-Cabrera, David Orellana-Martín, Miguel A. Martínez-del-Amor, Agustin Riscos-Núñez, Mario J. Pérez-Jiménez:
Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing. 373-385
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-27 21:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
