Sommaire

Sémantique logique et dénotationnelle des interpréteurs PROLOG

Delahaye, Jean-Paul

Access to full text
Full (PDF)
Full (DJVU)
p. 3-42

Numdam
A linear-time algorithm to decide whether a binary word contains an overlap

Kfoury, A. J.

Access to full text
Full (PDF)
Full (DJVU)
p. 135-145

Numdam
Logic and functional programming by retractions

Bellia, M.

Access to full text
Full (PDF)
Full (DJVU)
p. 271-310

Numdam
Logic and functional programming by retractions : operational semantics

Bellia, M.

Access to full text
Full (PDF)
Full (DJVU)
p. 395-436

Numdam
Sur une classe de transformations d'arbres

Bozapalidis, Symeon

Access to full text
Full (PDF)
Full (DJVU)
p. 43-47

Numdam
Un réseau linéaire pour la reconnaissance des mots sans carré

Melkemi, Lamine ; Tchuente, Maurice

Access to full text
Full (PDF)
Full (DJVU)
p. 147-161

Numdam
A property of biprefix codes

Leonard, Martine

Access to full text
Full (PDF)
Full (DJVU)
p. 311-318

Numdam
Catégories et langages de dot-depth un

Thérien, Denis

Access to full text
Full (PDF)
Full (DJVU)
p. 437-445

Numdam
A note on fixpoint techniques in data base recursive logic programs

Guessarian, Irène

Access to full text
Full (PDF)
Full (DJVU)
p. 49-56

Numdam
A note on the iteration of infinite matrices

Wechler, Wolfgang

Access to full text
Full (PDF)
Full (DJVU)
p. 163-171

Numdam
Yield-languages recognized by alternating tree recognizers

Salomaa, Kai

Access to full text
Full (PDF)
Full (DJVU)
p. 319-339

Numdam
Lower bounds on the complexity of real-time branching programs

Kriegel, Klaus ; Waack, Stephan

Access to full text
Full (PDF)
Full (DJVU)
p. 447-459

Numdam
Étude et implémentation d'un système de déduction pour logique algorithmique

Garcia, Françoise

Access to full text
Full (PDF)
Full (DJVU)
p. 57-92

Numdam
Une charpente de semi-unification

Durieux, J.-L. ; Saint-James, E.

Access to full text
Full (PDF)
Full (DJVU)
p. 173-226

Numdam
Proposal for a natural formalization of functional programming concepts

Bellot, Patrick ; Sarni, Djamil

Access to full text
Full (PDF)
Full (DJVU)
p. 341-360

Numdam
Generalized cancellation-and-permutation properties, regular languages and supports of rational series

Jacob, Gérard

Access to full text
Full (PDF)
Full (DJVU)
p. 461-486

Numdam
Commutativity in groups presented by finite Church-Rosser Thue systems

Madlener, Klaus ; Otto, Friedrich

Access to full text
Full (PDF)
Full (DJVU)
p. 93-111

Numdam
Immunity and simplicity in relativizations of probabilistic complexity classes

Balcázar, José L. ; Russo, David A.

Access to full text
Full (PDF)
Full (DJVU)
p. 227-244

Numdam
Deux propriétés combinatoires des nombres de Schröder

Gouyou-Beauchamps, Dominique ; Vauquelin, Bernard

Access to full text
Full (PDF)
Full (DJVU)
p. 361-388

Numdam
On some packing problem related to dynamic storage allocation

Chrobak, Marek ; Ślusarek, Maciej

Access to full text
Full (PDF)
Full (DJVU)
p. 487-499

Numdam
Bisections reconnaissables

Duchamp, G. ; Thibon, J. Y.

Access to full text
Full (PDF)
Full (DJVU)
p. 113-128

Numdam
Étude de la séparation et de l'élimination sur une famille de graphes quotients déduite d'une méthode de dissections emboîtées

Charrier, P. ; Roman, J.

Access to full text
Full (PDF)
Full (DJVU)
p. 245-265

Numdam