Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 25 (1991)
Sommaire du
Fascicule no. 1
Minimal generators of submonoids of
A
∞
Litovsky, I.
p. 3-17
On finitely generated monoids of matrices with entries in
ℕ
Weber, Andreas
;
Seidl, Helmut
p. 19-38
On equality sets of morphisms in topological free monoids
Foryś, Wit
p. 39-42
Approximate counting : an alternative approach
Kirschenhofer, Peter
;
Prodinger, Helmut
p. 43-48
Automates et codes zigzag
Anselmo, Marcella
p. 49-66
Lambda-calcul, évaluation paresseuse et mise en mémoire
Krivine, Jean-Louis
p. 67-84
A limit theorem for “quicksort”
Rösler, Uwe
p. 85-100
Sommaire du
Fascicule no. 2
Spanning trees with low crossing number
Matoušek, Jiří
p. 103-123
First-order properties of trees, star-free expressions, and aperiodicity
Heuter, Uschi
p. 125-145
A generalization of traces
Vogler, Walter
p. 147-156
Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm
Rouyer, Jocelyne
p. 157-169
Subdivisions de surfaces et cartes généralisées de dimension 2
Lienhardt, Pascal
p. 171-202
Sommaire du
Fascicule no. 3
On a code problem concerning planar acyclic graphs
Bossut, F.
;
Warin, B.
p. 205-218
Solides non organisés : définition, implantation et plongement
Arques, Didier
;
Jacques, Isabelle
p. 219-246
The topologies of sofic subshifts have computable Pierce invariants
Head, Tom
p. 247-254
On a subclass of context-free groups
Herbst, Thomas
p. 255-272
Introduction aux polyèdres en combinatoire d'après E. Ehrhart et R. Stanley
Delest, M.
;
Fedou, J. M.
p. 273-292
Reducibilities on tally and sparse sets
Tang, Shouwen
;
Book, Ronald V.
p. 293-302
Sommaire du
Fascicule no. 4
On
z
-submonoids and
z
-codes
Madonia, M.
;
Salemi, S.
;
Sportelli, T.
p. 305-322
On the parallel complexity of linear groups
Waack, St.
p. 323-354
An extension of the notions of traces and of asynchronous automata
Arnold, A.
p. 355-393
Sommaire du
Fascicule no. 5
Prolog infinite trees and automata
Coupet-Grimal, Solange
p. 397-418
A note on the paper “disjunctive languages and compatible orders”
Ito, M.
p. 419-421
Matrix versions of aperiodic
K
-rational identities
Krob, Daniel
p. 423-444
Implementing term rewriting by jungle evaluation
Hoffmann, Berthold
;
Plump, Detlef
p. 445-472
Normal forms for phrase-structure grammars
Geffert, Viliam
p. 473-496
Sommaire du
Fascicule no. 6
Can we transform logic programs into attribute grammars ?
Isakowitz, T.
p. 499-543
Some modifications of auxiliary pushdown automata
Buntrock, G.
;
Drewes, F.
;
Lautemann, C.
;
Mossakowski, T.
p. 545-556
Intuitionistic three-valued logic and logic programming
Vauzeilles, J.
;
Strauss, A.
p. 557-587