default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformatique Théorique et Applications, Volume 31
Volume 31, Number 1, 1997
- Jean Néraud
:
Detecting the Morphic Images of a Word: Improving the General Algorithm. 1-14 - Luca Breveglieri:
Fair Expressions and Regular Languages over Lists. 15-66 - Keijo Ruohonen:
Undecidable Event Detection Problems for Odes of Dimension One and Two. 67-79 - Juha Honkala:
On Lindenmayerian Rational Subsets of Monoids. 81-96
Volume 31, Number 2, 1997
- Bernadette Charron-Bost, Robert Cori, Antoine Petit:
Introduction à l'algorithmique des objets partagés. 97-148 - Nicola Galesi:
A Syntactic Characterization of Bounded-Rank Decision Trees in Terms of Decision Lists. 149-158 - Maurice Margenstern:
The Laterality Problem for Non-Erasing Turing Machines on {0, 1} is Completely Solved. 159-204
Volume 31, Number 3, 1997
- Mohamed Hibti, Bruno Legeard, Henri Lombardi:
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini. 205-236 - Francine Blanchet-Sadri:
On the Semidirect Product of the Pseudovariety of Semilattices by a Locally Finite Pseudovariety of Groups. 237-250 - Xavier Messeguer:
Skip Trees, an Alternative Data Structure to Skip Lists in a Concurrent Approach. 251-269 - Jacques Justin, Giuseppe Pirillo:
Decimations and Sturmian Words. 271-290 - Ismo Hakala, Juha Kortelainen:
Polynomial Size Test Sets for Commutative Languages. 291-304
Volume 31, Number 4, 1997
- Bernadette Charron-Bost, Gerard Tel:
Calculs approchés de la borne inférieure de valeurs réparties. 305-330 - Sorina Dumitrescu, Gheorghe Paun:
On the Power of Parallel Communicating Grammar Systems with Right-Linear Components. 331-354 - Olivier Carton:
A Hierarchy of Cyclic Languages. 355-369 - André Arnold:
A Selection Property of the Boolean µ-Calculus and Some of its Applications. 371-384 - Didier Arquès, Jean François Béraud:
Énumération des cartes pointées sur la bouteille de Klein. 385-409
Volume 31, Number 5, 1997
- G. Blanc, Karine Liogier:
Négation constructive et aximatique interne. 411-428 - Stefano Basagni, Danilo Bruschi, F. Ravasio:
On the Difficulty of Finding Walks of Length k. 429-435 - Rafael C. Carrasco:
Accurate Computation of the Relative Entropy Between Stochastic Regular Grammars. 437-444 - Tero Harju, Lucian Ilie:
Languages Obtained from Infinite Words. 445-455 - Jorge Almeida, Marc Zeitoun:
The Pseudovariety J is Hyperdecidable. 457-482 - Riccardo Pucella:
An Analysis of Lambek's Production Machines. 483-497
Volume 31, Number 6, 1997
- Nadia Creignou, Jean-Jacques Hébrard:
On Generating All Solutions of Generalized Satisfiability Problems. 499-511 - Samir Farkh, Karim Nour:
Résultats de complétude pour des classes de types du système AF2. 513-537 - Karim Nour:
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés. 539-558
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.
last updated on 2024-12-23 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
