![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Informatique Théorique et Applications, Volume 8
Volume 8, Number 1, 1974
- Louis Nolin:
Algorithmes universels. 5-18 - Bruno Courcelle:
Une forme canonique pour les grammaires simples déterministes. 19-36 - Philippe Flajolet, Jean-Marc Steyaert:
Une généralisation de la notion d'ensemble immune. 37-48 - Dominique de Werra:
A note on graph coloring. 49-53 - Marcel Paul Schützenberger:
Sur les monoïdes finis dont les groupes sont commutatifs. 55-61 - Jean-Michel Autebert, Joffroy Beauquier:
Une caractérisation des générateurs standard. 63-83
Volume 8, Number 3, 1974
- Giuseppe Longo, Marisa Venturini Zilli:
Complexity of theorem-proving procedures : some general properties. 5-18 - Richard Castanet:
Sémantique formelle des opérateurs d'un langage de listes. 19-36 - Mariangiola Dezani-Ciancaglini:
A parenthesis machine for string manipulation. 37-46 - P. A. Picon:
Sur les termes nuls d'une suite récurrente cubique. 47-61 - Jean Hardouin Duparc:
Paradis terrestre dans l'automate cellulaire de Conway. 63-71 - Hartmut Ehrig, Wolfgang Kühnel:
Topological automata. 73-91
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.