Volume 42,
Number 1,
January-March 2008
Special Issue:
A nonstandard spirit among computer scientists:
a tribute to Serge Grigorieff at the occasion of his 60th birthday
- Christian Choffrut, Loïc Colson:
Preface.
1-4
- Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich:
Tree inclusion problems.
5-20
- Maurice Margenstern:
About the domino problem in the hyperbolic plane from an algorithmic point of view.
21-36
- Marianne Delorme, Jacques Mazoyer:
Exemples de classes d'automates cellulaires.
37-53
- Jean-Baptiste Yunès:
An intrinsically non minimal-time Minsky-like 6-states solution to the Firing Squad synchronization problem.
55-68
- Pierre Valarcher:
A complete characterization of primitive recursive intensional behaviours.
69-82
- Maurice Pouzet:
When is the orbit algebra of a group an integral domain? Proof of a conjecture of P.J. Cameron.
83-103
- Sedki Boughattas, Jean-Pierre Ressayre:
Arithmetization of the field of reals with exponentiation extended abstract.
105-119
- Christian Choffrut:
Deciding whether a relation defined in Presburger logic can be defined in weaker logics.
121-135
- Alexis Bès, Patrick Cégielski:
Weakly maximal decidable structures.
137-145
- Guillaume Bagan, Arnaud Durand, Etienne Grandjean, Frédéric Olive:
Computing the jth solution of a first-order query.
147-164
- Jérôme Besombes, Jean-Yves Marion:
Learning discrete categorial grammars from structures.
165-182
- Olivier Carton, Olivier Finkel, Pierre Simonnet:
On the continuity set of an Omega rational function.
183-196
Volume 42,
Number 2,
April-June 2008
- Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier:
Efficiency of automata in semi-commutation verification techniques.
197-215
- Juhani Karhumäki, Jarkko Kari, Joachim Kupke:
Binary operations on automatic functions.
217-236
- Maria J. Serna, Fatos Xhafa:
Parallel approximation to high multiplicity scheduling problems VIA smooth multi-valued quadratic programming.
237-252
- Armin Hemmerling:
Hierarchies of function classes defined by the first-value operator.
253-270
- Ludwik Czaja:
Calculi of net structures and sets are similar.
271-284
- Faissal Ouardi, Djelloul Ziadi:
Efficient weighted expressions conversion.
285-307
- David Laing, Bruce E. Litow:
Census algorithms for chinese remainder pseudorank.
309-322
- Bruce E. Litow, Dmitry A. Konovalov:
Phenotype space and kinship assignment for the simpson index.
323-333
- Galina Jirásková, Alexander Okhotin:
State complexity of cyclic shift.
335-360
- Keijo Ruohonen:
D0L sequence equivalence is in P for fixed alphabets.
361-374
- Éric Duchêne, Michel Rigo:
A morphic approach to combinatorial games: the Tribonacci case.
375-393
- Pedro V. Silva, Pascal Weil:
On an algorithm to decide whether a free group is a free factor of another.
395-414
Volume 42,
Number 3,
July-September 2008
Special Issue:
JM'06
Volume 42,
Number 4,
October-December 2008
Special Issue:
Fibonacci words
Last update Tue Feb 14 04:19:47 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
