![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Acta Informatica, Volume 50
Volume 50, Number 1, February 2013
- Fernando Arroyo
, Juan Castellanos, Jürgen Dassow, Victor Mitrana, José-Ramón Sánchez-Couso:
Accepting splicing systems with permitting and forbidding words. 1-14 - Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg:
Step semantics of boolean nets. 15-39 - Jürgen Dassow, Florin Manea, Bianca Truthe
:
Networks of evolutionary processors: the power of subregular filters. 41-75
Volume 50, Number 2, March 2013
- Lorenzo Bettini
, Ferruccio Damiani
, Ina Schaefer:
Compositional type checking of delta-oriented software product lines. 77-122 - Stefan Kahrs:
Infinitary rewriting: closure operators, equivalences and models. 123-156
Volume 50, Number 3, May 2013
- Stefano Bilotta
, Elisabetta Grazzini, Elisa Pergola, Renzo Pinzani:
Avoiding cross-bifix-free binary words. 157-173 - Tamar Aizikowitz, Michael Kaminski:
Conjunctive grammars and alternating pushdown automata. 175-197 - Wim H. Hesselink
:
Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos. 199-228
Volume 50, Number 4, June 2013
- Benedek Nagy, Friedrich Otto:
Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata. 229-255 - Dongfeng Chen, Rada Chirkova, Fereidoon Sadri, Tiia J. Salo:
Query optimization in information integration. 257-287 - Amr Elmasry, Arash Farzan, John Iacono
:
On the hierarchy of distribution-sensitive properties for data structures. 289-295
Volume 50, Numbers 5-6, September 2013
- Wim H. Hesselink
:
A distributed resource allocation algorithm for many processes. 297-329 - Vesa Halava, Tero Harju
:
New proof for the undecidability of the circular PCP. 331-341 - Marie G. Christ
, Lene M. Favrholdt
, Kim S. Larsen
:
Online multi-coloring on the path revisited. 343-357
Volume 50, Numbers 7-8, December 2013
- Jeongbong Seo, Sungwoo Park:
Judgmental subtyping systems with intersection types and modal types. 359-380 - Clelia De Felice
:
A note on the factorization conjecture. 381-402 - Fernando Rosa-Velardo
:
Petri nets with name creation for transient secure association. 403-436
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.