Volume 22, Number 1, 1988
export record as
dblp key:
export record as
dblp key:
journals/ita/Bozapalidis88 export record as
dblp key:
journals/ita/Guessarian88 Irène Guessarian :
A Note On Fixpoint Techniques in Data Base Recursive Logic Programs.
49-56
export record as
dblp key:
Françoise Garcia :
Étude Et Implémentation D'Un Système De Déduction Pour Logique Algorithmique.
57-92
export record as
dblp key:
export record as
dblp key:
Volume 22, Number 2, 1988
export record as
dblp key:
A. J. Kfoury :
A Linear-Time Algorithm to Decide Whether A Binary Word Contains An Overlap.
135-145
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Pierre Charrier ,
Jean Roman :
É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.
245-265
Volume 22, Number 3, 1988
export record as
dblp key:
Marco Bellia :
Logic and Functional Programming by Retractions.
271-310
export record as
dblp key:
export record as
dblp key:
Kai Salomaa :
Yield-Languages Recognized by Alternating Tree Recognizers.
319-339
export record as
dblp key:
export record as
dblp key:
journals/ita/Gouyou-BeauchampsV88
Volume 22, Number 4, 1988
export record as
dblp key:
Marco Bellia :
Logic and Functional Programming by Retractions: Operational Semantics.
395-436
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Gérard Jacob :
Genralized Cancellation-And-Permutation Properties, Regular Languages and Supports of Rational Series.
461-486
export record as
dblp key:
data released under the ODC-BY 1.0 license
