Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th Birthday: Grzegorz Rozenberg 2002
- Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa:
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]. Lecture Notes in Computer Science 2300, Springer 2002, ISBN 3-540-43190-X
Words, Languages, Automata
- Jean Berstel, Luc Boasson:
Balanced Grammars and Their Languages. 3-25 - Volker Diekert, Paul Gastin:
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids. 26-38 - Joost Engelfriet:
The Delta Operation: From Strings to Trees to Strings. 39-56 - Vesa Halava, Tero Harju:
Infinite Solutions of Marked Post Correspondence Problem. 57-68 - Juhani Karhumäki, Ion Petre:
The Branching Point Approach to Conway's Problem. 69-76 - Aldo de Luca:
A Survey of Some Quantitative Approaches to the Notion of Information. 77-95 - Alexandru Mateescu, Arto Salomaa:
Nondeterministic Trajectories. 96-106 - Antonio Restivo, Sergio Salemi:
Binary Patterns in Infinite Binary Words. 107-118
Graph Transformations
- Hans-Jörg Kreowski:
A Sight-seeing Tour of the Computational Landscape of Graph Transformation. 119-137 - Dirk Janssens:
Local Action Systems and DPO Graph Transformation. 138-157 - Paolo Baldan, Andrea Corradini, Ugo Montanari:
Bisimulation Equivalences for Graph Grammars. 158-190
Petri Nets
- Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel:
High-Level Net Processes. 191-219 - Maurice H. ter Beek
, H. C. M. Kleijn:
Petri Net Control for Grammar Systems. 220-243 - P. S. Thiagarajan:
Regular Event Structures and Finite Petri Nets: A Conjecture. 244-256
Concurrent Computing
- Gregor Engels, Luuk Groenewegen:
Towards Team-Automata-Driven Object-Oriented Collaborative Work. 257-276 - Javier Esparza:
Grammars as Processes. 277-297 - Mogens Nielsen, Frank D. Valencia:
Temporal Concurrent Constraint Programming: Applications and Behavior. 298-324
Molecular Computing
- Paolo Bottoni, Anna Labella, Carlos Martín-Vide, Gheorghe Paun:
Rewriting P Systems with Conditional Communication. 325-353 - Tom Head:
An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation. 354-360 - Hendrik Jan Hoogeboom, Nike van Vugt:
Upper Bounds for Restricted Splicing. 361-375 - Lila Kari, Rob Kitto, Gabriel Thierrin:
Codes, Involutions, and DNA Encodings. 376-393 - David M. Prescott:
DNA Manipulations in Ciliates. 394-417 - Takashi Yokomori, Yasubumi Sakakibara, Satoshi Kobayashi:
A Magic Pot : Self-assembly Computation Revisited. 418-430
a service of 
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-04-18 20:18 CEST 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:
