Filter your results
- 4
- 4
- 2
- 1
- 4
- 4
- 4
- 1
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 1
- 1
- 4
- 4
- 2
- 2
|
|
sorted by
|
|
A formal proof system for infinitary rational expressions[Research Report] RR-0218, INRIA. 1983
Reports
inria-00076340v1
|
||
|
Unfold/fold program transformations[Research Report] RR-0155, INRIA. 1982
Reports
inria-00076404v1
|
||
|
Recursion induction principle revisited[Research Report] RR-0115, INRIA. 1982
Reports
inria-00076445v1
|
||
|
On the observational semantics of fair parallelism[Research Report] RR-0262, INRIA. 1983
Reports
inria-00076296v1
|