4. MCU 2004:
Saint Petersburg,
Russia
Maurice Margenstern (Ed.):
Machines, Computations, and Universality, 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 3354 Springer 2005, ISBN 3-540-25261-4 BibTeX
Invited Lectures
Selected Contributions
- Artiom Alhazov, Rudolf Freund, Gheorghe Paun:
Computational Completeness of P Systems with Active Membranes and Two Polarizations.
82-92
Electronic Edition (link) BibTeX
- Stefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone:
Computing with a Distributed Reaction-Diffusion Model.
93-103
Electronic Edition (link) BibTeX
- Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel:
Computational Universality in Symbolic Dynamical Systems.
104-115
Electronic Edition (link) BibTeX
- Olivier Bournez, Emmanuel Hainry:
Real Recursive Functions and Real Extensions of Recursive Functions.
116-127
Electronic Edition (link) BibTeX
- Giusi Castiglione, Antonio Restivo:
Ordering and Convex Polyominoes.
128-139
Electronic Edition (link) BibTeX
- Gianpiero Cattaneo, Alberto Dennunzio:
Subshifts Behavior of Cellular Automata. Topological Properties and Related Languages.
140-152
Electronic Edition (link) BibTeX
- Matteo Cavaliere, Peter Leupold:
Evolution and Observation: A Non-standard Way to Accept Formal Languages.
153-163
Electronic Edition (link) BibTeX
- Jerzy Mycka, José Félix Costa:
The Computational Power of Continuous Dynamic Systems.
164-175
Electronic Edition (link) BibTeX
- Jérôme Durand-Lose:
Abstract Geometrical Computation for Black Hole Computation.
176-187
Electronic Edition (link) BibTeX
- Kellie Michele Evans:
Is Bosco's Rule Universal?
188-199
Electronic Edition (link) BibTeX
- Rudolf Freund, Alberto Leporati, Marion Oswald, Claudio Zandron:
Sequential P Systems with Unit Rules and Energy Assigned to Membranes.
200-210
Electronic Edition (link) BibTeX
- Chuzo Iwamoto, Naoki Hatayama, Kenichi Morita, Katsunobu Imai, Daisuke Wakamatsu:
Hierarchies of DLOGTIME-Uniform Circuits.
211-222
Electronic Edition (link) BibTeX
- Hiroshi Umeo, Masaya Hisaoka, Masato Teraoka, Masashi Maeda:
Several New Generalized Linear- and Optimum-Time Synchronization Algorithms for Two-Dimensional Rectangular Arrays.
223-232
Electronic Edition (link) BibTeX
- Markus Holzer, Martin Kutrib:
Register Complexity of LOOP-, WHILE-, and GOTO-Programs.
233-244
Electronic Edition (link) BibTeX
- Kenichi Morita, Tsuyoshi Ogiro, Keiji Tanaka, Hiroko Kato:
Classification and Universality of Reversible Logic Elements with One-Bit Memory.
245-256
Electronic Edition (link) BibTeX
- Alberto Leporati, Claudio Zandron, Giancarlo Mauri:
Universal Families of Reversible P Systems.
257-268
Electronic Edition (link) BibTeX
- Florin Manea, Carlos Martín-Vide, Victor Mitrana:
Solving 3CNF-SAT and HPP in Linear Time Using WWW.
269-280
Electronic Edition (link) BibTeX
- Jean Neraud:
Completing a Code in a Regular Submonoid of the Free Monoid.
281-291
Electronic Edition (link) BibTeX
- Alexander Okhotin:
On Computational Universality in Language Equations.
292-303
Electronic Edition (link) BibTeX
- Mario J. Pérez-Jiménez, Francisco José Romero-Campero:
Attacking the Common Algorithmic Problem by Recognizer P Systems.
304-315
Electronic Edition (link) BibTeX
- René Schott, Jean-Claude Spehner:
On the Minimal Automaton of the Shuffle of Words and Araucarias.
316-327
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:29:22 2009
by Michael Ley (ley@uni-trier.de)
