.:. Browse > List by year > 1984 .:.

101 documents ordered by : Date Title first author name document type Submit date

... 4 - 5 - 6 - 7 - 8 - 9 - 10 ...

Spécification d'une machine de gestion mémoire pour les interpréteurs des langages logiques.Version 1 (provisoire) Bekkers Y., Canet B., Ridoux O., Ungaro L. N° RR-0283 (1984) [inria-00076275 - version 1]

Associative-commutative unification Fages F. N° RR-0287 (1984) [inria-00076271 - version 1]

Executable specification of static semantics Despeyroux T. N° RR-0295 (1984) [inria-00076262 - version 1]

Polymorphism is not set-theoretic Reynolds J. C. N° RR-0296 (1984) [inria-00076261 - version 1]

Discretisation d'une equation differentielle stochastique et calcul approche d'esperances de fonctionnelles de la solution Talay D. N° RR-0297 (1984) [inria-00076260 - version 1]

Algebraic methods for trie statistics Flajolet P., Sotteau D., Regnier M. N° RR-0298 (1984) [inria-00076259 - version 1]

Controle des systemes non lineaires comportant des contraintes distribuees sur l'etat Bonnans J. F., Casas E. N° RR-0300 (1984) [inria-00076257 - version 1]

Simulations numeriques dans la fabrication des circuits a semiconducteurs (Process modelling) Marrocco A. N° RR-0305 (1984) [inria-00076252 - version 1]

Controle de domaines temporels Bonnans J. F., Moreno C., Saguez C. N° RR-0308 (1984) [inria-00076249 - version 1]

Comparaison numerique entre les solutions bidimensionnelles et tridimensionnelles d'un probleme de plaque encastree Vidrascu M. N° RR-0309 (1984) [inria-00076248 - version 1]