Informatique Théorique et Applications, Volume 16, 1982

Volume 16, Number 1, 1982

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

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

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

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

Last update Fri May 25 09:28:07 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page