Volume 386,
Numbers 1-2,
October 2007
- Grzegorz Rozenberg:
Preface.
1-2
- Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Mayur Thakur:
Predecessor existence problems for finite discrete dynamical systems.
3-37
- Daowen Qiu:
Automata theory based on quantum logic: Reversibilities and pushdown automata.
38-56
- Andrew Carnell, Daniel Richardson:
Parallel computation in spiking neural nets.
57-72
- Thomas Jansen, Ingo Wegener:
A comparison of simulated annealing with a simple evolutionary algorithm on pseudo-boolean functions of unitation.
73-93
- William Benfold, Jonathan Hallam, Adam Prügel-Bennett:
Optimal parameters for search using a barrier tree Markov model.
94-113
- Tobias Storch:
Finding large cliques in sparse semi-random graphs by simple randomized search heuristics.
114-131
- Remco Loos, Mitsunori Ogihara:
Complexity theory for splicing systems.
132-150
- Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying:
Proof rules for the correctness of quantum programs.
151-166
Volume 386,
Number 3,
November 2007
Expressiveness in Concurrency
Copyright © Fri Mar 12 17:33:13 2010
by Michael Ley (ley@uni-trier.de)
