55

Efficient Combinatory Reduction

Année:
1981
Langue:
english
Fichier:
PDF, 800 KB
english, 1981
58

On optimal trees

Année:
1981
Langue:
english
Fichier:
PDF, 571 KB
english, 1981
59

Computation on graph-like expressions

Année:
1980
Langue:
english
Fichier:
PDF, 1.38 MB
english, 1980
60

Speeding up subtree replacement systems

Année:
1980
Langue:
english
Fichier:
PDF, 805 KB
english, 1980
61

Optimal evaluations of graph-like expressions

Année:
1980
Langue:
english
Fichier:
PDF, 2.08 MB
english, 1980
66

Efficient unification of quantified terms

Année:
1988
Langue:
english
Fichier:
PDF, 1.11 MB
english, 1988
70

The structure and characterization of isomeric cobalt(II) diphenylphosphinate polymers

Année:
1992
Langue:
english
Fichier:
PDF, 298 KB
english, 1992
71

Preface

Année:
1997
Langue:
english
Fichier:
PDF, 116 KB
english, 1997
75

Structure sharing for quantified terms: Fundamentals

Année:
1990
Langue:
english
Fichier:
PDF, 1.47 MB
english, 1990
76

A functional logic for higher level reasoning about computation

Année:
1994
Langue:
english
Fichier:
PDF, 1.70 MB
english, 1994
83

The maximum flow problem is log space complete for P

Année:
1982
Langue:
english
Fichier:
PDF, 732 KB
english, 1982
84

Computing the behaviour of asynchronous processes

Année:
1983
Langue:
english
Fichier:
PDF, 1.04 MB
english, 1983
85

Delaying unification algorithms for lambda calculi

Année:
1988
Langue:
english
Fichier:
PDF, 1.12 MB
english, 1988
86

An extensional fixed-point semantics for nondeterministic data flow

Année:
1991
Langue:
english
Fichier:
PDF, 2.83 MB
english, 1991
87

Preface

Année:
1996
Fichier:
PDF, 34 KB
1996