ON THE INTERPRETATION OF RECURSIVE PROGRAM SCHEMES.NIVAT M.1974; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1974; NO 84; PP. 1-33; ABS. FR.; BIBL. 1 P.Article

TRANSDUCTIONS ET FAMILLES DE LANGAGESBOASSON L; NIVAT M.MATH. SCI. HUM. 1971, Vol 9, Num 35, pp 31-37Article

MOTS INFINIS ENGENDRES PAR UNE GRAMMAIRE ALGEBRIQUE.NIVAT M.1977; R.A.I.R.O., INFORMAT. THEOR.; FR.; DA. 1977; VOL. 11; NO 4; PP. 311-327; BIBL. 6 REF.Article

INFINITARY RELATIONSNIVAT M.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; PP. 46-75; BIBL. 7 REF.Conference Paper

SUR LES ENSEMBLES DE MOTS INFINIS ENGENDRES PAR UNE GRAMMAIRE ALGEBRIQUE.NIVAT M.1978; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT. RAPP. RECH.; FR.; DA. 1978; NO 290; PP. 1-23; ABS. ANGL.; BIBL. 4 REF.Serial Issue

CHARTES, ARBRES, PROGRAMMES ITERATIFSNIVAT M.1978; REV. TECH. THOMSON-C.S.F.; FRA; DA. 1978; VOL. 10; NO 4; PP. 705-731; ABS. ENG/GER; BIBL. 8 REF.Article

SUR LES ENSEMBLES DE MOTS INFINIS ENGENDRES PAR UNE GRAMMAIRE ALGEBRIQUENIVAT M.1978; R.A.I.R.O., INFORMAT. THEOR.; FRA; DA. 1978; VOL. 12; NO 3; PP. 259-278; BIBL. 4 REF.Article

THE ALGEBRAIC SEMANTICS OF RECURSIVE PROGRAM SCHEMES.COURCELLE B; NIVAT M.1978; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1978; NO 300; PP. 1-15; ABS. FR.; BIBL. 2 P.Serial Issue

THE METRIC SPACE OF INFINITE TREES. ALGEBRAIC AND TOPOLOGICAL PROPERTIESARNOLD A; NIVAT M.1978; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FRA; DA. 1978; NO 323; PP. 1-38; ABS. FRE; BIBL. 15 REF.Serial Issue

ORDRES ET TYPES DE LANGAGES.BOASSON L; NIVAT M.1977; C.R. ACAD. SCI., A; FR.; DA. 1977; VOL. 284; NO 11; PP. 625-628; ABS. ANGL.; BIBL. 2 REF.Article

ALGEBRAIC FAMILIES OF INTERPRETATIONS.COURCELLE B; NIVAT M.1976; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1976; NO 189; PP. 1-10; ABS. FR.; BIBL. 11 REF.Serial Issue

ON THE USE OF LINEAR LANGUAGES IN FORMAL LANGUAGE THEORY.BOOK RV; NIVAT M.sdIN: CONF. INF. SCI. SYST. PROC.; BALTIMORE; 1977; BALTIMORE; JOHNS HOPKINS UNIV.; DA. S.D.; PP. 190-194; BIBL. 14 REF.Conference Paper

De l'informatique considérée comme un outilNIVAT, M.La Pensée. 1985, Num 246, pp 35-46, issn 0031-4773Article

ON RATIONAL EXPRESSIONS REPRESENTING INFINITE RATIONAL TREES: APPLICATION TO THE STRUCTURE OF FLOW CHARTSCOUSINEAU G; NIVAT M.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; VOL. 74; PP. 567-580; BIBL. 23 REF.Conference Paper

Mots infinis engendrés par une grammaire algébriqueNIVAT, M.RAIRO. Informatique Théorique. Theoretical Computer Science Paris. 1977, Vol 11, Num 4, pp 311-327Article

METRIC INTERPRETATIONS OF INFINITE TREES AND SEMANTICS OF NON DETERMINISTIC RECURSIVE PROGRAMSARNOLD A; NIVAT M.1980; THEOR. COMPUTER SCI.; NLD; DA. 1980; VOL. 11; NO 2; PP. 181-205; BIBL. 17 REF.Article

BIJECTIVE A-TRANSDUCERSMAURER HA; NIVAT M.1979; ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE. 20/1979/SAN JUAN P.R.; USA; NEW YORK: INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1979; PP. 97-100; BIBL. 2 REF.Conference Paper

Sur les ensembles de mots infinis engendrés par une grammaire algébriqueNIVAT, M.RAIRO. Informatique Théorique. Theoretical Computer Science Paris. 1978, Vol 12, Num 3, pp 259-278Article

NON DETERMINISTIC RECURSIVE PROGRAM SCHEMES.ARNOLD A; NIVAT M.1977; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1977; NO 262; PP. 1-10; ABS. FR.; BIBL. 14 REF.Serial Issue

ORDRES ET TYPES DE LANGAGES.BOASSON L; NIVAT M.1977; C.R. ACAD. SCI., A; FR.; DA. 1977; VOL. 284; NO 12; PP. 702-705; ABS. ANGL.; BIBL. 3 REF.Article

ALGEBRAIC FAMILIES OF INTERPRETATIONS.COURCELLE B; NIVAT M.sdIN: JOURN. ET. SCHEMAS PROGRAMME SEMANTIQUE LANG. PROGRAMMATION; MOLINES EN QUEYRAS; 1976; S.L.; DA. S.D.; PP. 1-9; BIBL. 7 REF.Conference Paper

CENTERS OF LANGUAGESBOASSON L; NIVAT M.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; VOL. 104; PP. 245-251; BIBL. 8 REF.Conference Paper

CONTROLLING BEHAVIOURS OF SYSTEMS: SOME BASIC CONCEPTS AND SOME APPLICATIONSARNOLD A; NIVAT M.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 113-122; BIBL. 4 REF.Conference Paper

EFFICIENT RECOGNITION OF RATIONAL RELATIONSVAN LEEUWEN J; NIVAT M.1982; INFORMATION PROCESSING LETTERS; ISSN 0020-0190; NLD; DA. 1982; VOL. 14; NO 1; PP. 34-38; BIBL. 3 REF.Article

Page / 4