default search action
Informatique Théorique et Applications, Volume 16
Volume 16, Number 1, 1982
- Jürgen 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 - Patrizia Mentrasti, M. Protasi:
Extended Primitive Recursive Functions. 73-84
Volume 16, Number 2, 1982
- 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
Volume 16, Number 3, 1982
- 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, Mario Lucertini, Alberto Marchetti-Spaccamela:
Analysis of a Class of Graph Partitioning Problems. 255-261 - Bernd Mahr:
Algebraic Complexity of Path Problems. 263-292
Volume 16, Number 4, 1982
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.