nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Foundational Framework for Step-by-step Model Construction
|
Barash, Mikhail |
|
2017 |
154 |
1-4 |
p. 15-24 |
artikel |
2 |
Alphabets of Acyclic Invariant Structures
|
Janicki, Ryszard |
|
2017 |
154 |
1-4 |
p. 207-224 |
artikel |
3 |
A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem
|
Halava, Vesa |
|
2017 |
154 |
1-4 |
p. 167-176 |
artikel |
4 |
AUTHOR INDEX VOLUME 154
|
Păun, Gheorghe |
|
2017 |
154 |
1-4 |
p. 387-388 |
artikel |
5 |
CCS(25,12) is Turing-complete
|
Gorrieri, Roberto |
|
2017 |
154 |
1-4 |
p. 145-166 |
artikel |
6 |
Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing
|
Valencia-Cabrera, Luis |
|
2017 |
154 |
1-4 |
p. 373-385 |
artikel |
7 |
D0L Sequences and their Equality Sets
|
Honkala, Juha |
|
2017 |
154 |
1-4 |
p. 201-206 |
artikel |
8 |
Efficient Simulation of Reaction Systems on Graphics Processing Units
|
Nobile, Marco S. |
|
2017 |
154 |
1-4 |
p. 307-321 |
artikel |
9 |
Enforcing Regular Languages
|
Genova, Daniela |
|
2017 |
154 |
1-4 |
p. 131-144 |
artikel |
10 |
From Leśniewski, Łukasiewicz, Tarski to Pawlak: Enriching Rough Set Based Data Analysis. A Retrospective Survey
|
Polkowski, Lech T. |
|
2017 |
154 |
1-4 |
p. 343-358 |
artikel |
11 |
Incremental Process Discovery using Petri Net Synthesis
|
Badouel, Eric |
|
2017 |
154 |
1-4 |
p. 1-13 |
artikel |
12 |
Interactive Logical Structures
|
Dutta, Soma |
|
2017 |
154 |
1-4 |
p. 95-108 |
artikel |
13 |
It is Undecidable if Two Regular Tree Languages can be Separated by a Deterministic Tree-walking Automaton
|
Bojańczyk, Mikołaj |
|
2017 |
154 |
1-4 |
p. 37-46 |
artikel |
14 |
k-Abelian Equivalence and Rationality
|
Cassaigne, Julien |
|
2017 |
154 |
1-4 |
p. 65-94 |
artikel |
15 |
Morphic Characterizations of Language Families Based on Local and Star Languages
|
Okubo, Fumiya |
|
2017 |
154 |
1-4 |
p. 323-341 |
artikel |
16 |
On Fixed Points of the Burrows-Wheeler Transform
|
Mantaci, Sabrina |
|
2017 |
154 |
1-4 |
p. 277-288 |
artikel |
17 |
Oritatami System; a Survey and the Impossibility of Simple Simulation at Small Delays
|
Rogers, Trent A. |
|
2017 |
154 |
1-4 |
p. 359-372 |
artikel |
18 |
Patterns and Distances in Words Related to DNA Rearrangement
|
Jonoska, Nataša |
|
2017 |
154 |
1-4 |
p. 225-238 |
artikel |
19 |
Preface
|
Păun, Gheorghe |
|
2017 |
154 |
1-4 |
p. vii |
artikel |
20 |
Small Semi-Thue System Universal with Respect to the Termination Problem
|
Halava, Vesa |
|
2017 |
154 |
1-4 |
p. 177-184 |
artikel |
21 |
Smart Tile Self-Assembly and Replication
|
Kari, Lila |
|
2017 |
154 |
1-4 |
p. 239-260 |
artikel |
22 |
Species-Driven Persistent Phylogeny
|
Bonizzoni, Paola |
|
2017 |
154 |
1-4 |
p. 47-63 |
artikel |
23 |
State Complexity of k-Parallel Tree Concatenation
|
Han, Yo-Sub |
|
2017 |
154 |
1-4 |
p. 185-199 |
artikel |
24 |
Synthesis of Transition Systems from Quantum Logics
|
Bernardinello, Luca |
|
2017 |
154 |
1-4 |
p. 25-36 |
artikel |
25 |
The Weighted Matching Approach to Maximum Cardinality Matching
|
Gabow, Harold N. |
|
2017 |
154 |
1-4 |
p. 109-130 |
artikel |
26 |
Tissue P Systems with Small Cell Volume
|
Leporati, Alberto |
|
2017 |
154 |
1-4 |
p. 261-275 |
artikel |
27 |
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations
|
Męski, Artur |
|
2017 |
154 |
1-4 |
p. 289-306 |
artikel |