Filter your results
- 5
- 5
- 5
- 5
- 2
- 1
- 1
- 1
- 4
- 1
- 5
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
An optimal triangulation for second order elliptic problems[Research Report] RR-0420, INRIA. 1985
Reports
inria-00076136v1
|
||
|
Algebre de processus et synchronisation[Rapport de recherche] RR-0187, INRIA. 1983
Reports
inria-00076371v1
|
||
|
Algebraic calculi of processes and net expressions[Research Report] RR-0367, INRIA. 1985
Reports
inria-00076189v1
|
||
|
The Esterel synchronous programming language and its mathematical semantics[Research Report] RR-0327, INRIA. 1984
Reports
inria-00076230v1
|
||
|
Some syntactic and categorical constructions of lambda-calculus models[Research Report] RR-0080, INRIA. 1981, pp.48
Reports
inria-00076481v1
|