Autor der Publikation

Preuves de descriptions de traitements de textes par attributs

, , und . rapport de recherche, 163. IRIA-Laboria, Rocquencourt, (März 1976)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

CRIN: The History of a Laboratory.. IEEE Ann. Hist. Comput., 12 (3): 159-166 (1990)Abstract Data Types and Algebraic Semantics of Programming Languages.. Theor. Comput. Sci., (1982)A Systematic Study of Models of Abstract Data Types., , und . Theor. Comput. Sci., (1984)Correctness Proofs of Syntax-Directed Processing Descriptions by Attributes., , und . J. Comput. Syst. Sci., 19 (1): 1-17 (1979)Algorithms for Checking Consistency of Attribute Grammars, und . Proving and Improving Programs, INRIA, Rocquencourt, Arc et Senans.(Juli 1975)Inference for Regular Bilanguages., und . J. Comput. Syst. Sci., 16 (1): 100-122 (1978)Formalization of the Notions of Data, Information and Information Structure.. IFIP Working Conference Data Base Management, Seite 149-168. North-Holland, (1974)Preuves de descriptions de traitements de textes par attributs, , und . rapport de recherche, 163. IRIA-Laboria, Rocquencourt, (März 1976)Etude de la notion de pile application à l'analyse syntaxique.. (1966)Définition et Etude des Bilangages Réguliers, und . Inf. Control., 13 (6): 565-593 (Dezember 1968)