Informatique Théorique et Applications, Volume 16, 1982

Volume 16, Number 1, 1982

J. Albert: A Note on the Undecidability of Contextfreeness. 3-11 BibTeX
Renzo Pinzani, Renzo Sprugnoli: The Separability of Formal Languages. 13-31 BibTeX
Marcel Cori: Description d'une Classe de Grammaires de Graphes sans Circuit. 33-49 BibTeX
Henk J. Olivié: A New Class of Balanced Search Trees: Half Balanced Binary Search Trees. 51-71 BibTeX
P. Mentrasti, M. Protasi: Extended Primitive Recursive Functions. 73-84 BibTeX

Laurent Chottin: Langages Algébriques et Systèmes de Réécriture Rationells. 93-112 BibTeX
Laurent Chottin, Robert Cori: Une Preuve Combinatiore de la Rationalité d'une Série Génératrice Associée aux Arbres. 113-128 BibTeX
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Michel Latteux: Indécidabilité de la Condition IRS. 129-138 BibTeX
Serge Dulucq: Séries Algébriques Solutions D'Équations Linéaires avec Opérateurs. 139-163 BibTeX
J. Bétréma: Topologies sur des Espaces Ordonnés. 165-182 BibTeX

Rockford J. Ross, Karl Winklmann: Repetitive Strings are not Context-Free. 191-199 BibTeX
Bruno Apolloni, Salvatore Di Gregorio: A Probabilistic Analysis of a New Satisfiability Algorithm. 201-223 BibTeX
Pierre Lescanne: Modèles non Déterministes de Types Abstraits. 225-244 BibTeX
Gheorghe Paun: On Simple Matrix Languages Versus Scattered Context Languages. 245-253 BibTeX
Paola Bertolazzi, M. Lucertini, Alberto Marchetti-Spaccamela: Analysis of a Class of Graph Partitioning Problems. 255-261 BibTeX
Bernd Mahr: Algebraic Complexity of Path Problems. 263-292 BibTeX

Andrzej Ehrenfeucht, Grzegorz Rozenberg: On Subword Complexities of Homomorphic Images of Languages. 303-316 BibTeX
Joaquim Gabarró: Une Application des Notions de Centre et Index Rationell a Certains Langages Algébriques. 317-330 BibTeX
Pierre Lescanne: Some Properties of Decomposition Ordering, a Simplification Ordering to Prove Termination of Rewriting Systems. 331-347 BibTeX
Luis Fariñas del Cerro: Les Modalités de la Correction Totale. 349-363 BibTeX
Pavel Goralcik, Z. Hedrlín, Václav Koubek, V. Ryslinková: A Game of Composing Binary Relations. 365-369 BibTeX
Do Long Van: Codes avec des Mots Infinis. 371-386 BibTeX
Anton Nijholt: From LL-Regular to LL (1) Grammars: Transformations, Covers and Parsing. 387-406 BibTeX