Formal and Natural Computing

Keyphrases

Publications

2002

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel
High-Level Net Processes. Formal and Natural Computing (2002)
Jean Berstel, Luc Boasson
Balanced Grammars and Their Languages. Formal and Natural Computing (2002)
Hans-Jörg Kreowski
A Sight-seeing Tour of the Computational Landscape of Graph Transformation. Formal and Natural Computing (2002)
Takashi Yokomori, Yasubumi Sakakibara, Satoshi Kobayashi
A Magic Pot : Self-assembly Computation Revisited. Formal and Natural Computing (2002)
Hendrik Jan Hoogeboom, Nike van Vugt
Upper Bounds for Restricted Splicing. Formal and Natural Computing (2002)
Gregor Engels, Luuk Groenewegen
Towards Team-Automata-Driven Object-Oriented Collaborative Work. Formal and Natural Computing (2002)
Aldo de Luca
A Survey of Some Quantitative Approaches to the Notion of Information. Formal and Natural Computing (2002)
David M. Prescott
DNA Manipulations in Ciliates. Formal and Natural Computing (2002)
Mogens Nielsen, Frank D. Valencia
Temporal Concurrent Constraint Programming: Applications and Behavior. Formal and Natural Computing (2002)
Alexandru Mateescu, Arto Salomaa
Nondeterministic Trajectories. Formal and Natural Computing (2002)
Volker Diekert, Paul Gastin
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids. Formal and Natural Computing (2002)
Paolo Baldan, Andrea Corradini, Ugo Montanari
Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing (2002)
Lila Kari, Rob Kitto, Gabriel Thierrin
Codes, Involutions, and DNA Encodings. Formal and Natural Computing (2002)
Antonio Restivo, Sergio Salemi
Binary Patterns in Infinite Binary Words. Formal and Natural Computing (2002)
Juhani Karhumäki, Ion Petre
The Branching Point Approach to Conway's Problem. Formal and Natural Computing (2002)
P. S. Thiagarajan
Regular Event Structures and Finite Petri Nets: A Conjecture. Formal and Natural Computing (2002)
Vesa Halava, Tero Harju
Infinite Solutions of Marked Post Correspondence Problem. Formal and Natural Computing (2002)
Tom Head
An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation. Formal and Natural Computing (2002)
Javier Esparza
Grammars as Processes. Formal and Natural Computing (2002)
Joost Engelfriet
The Delta Operation: From Strings to Trees to Strings. Formal and Natural Computing (2002)
Dirk Janssens
Local Action Systems and DPO Graph Transformation. Formal and Natural Computing (2002)
Maurice H. ter Beek, H. C. M. Kleijn
Petri Net Control for Grammar Systems. Formal and Natural Computing (2002)
Paolo Bottoni, Anna Labella, Carlos Martín-Vide, Gheorghe Paun
Rewriting P Systems with Conditional Communication. Formal and Natural Computing (2002)

volume 2300, 2002

Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002] Formal and Natural Computing 2300 (2002)