Publication
-
Diffusion in lattices with anisotropic scatterers Article
Journal of Statistical Physics, 59(1-2), 23-52.January 1990 -
January 1990
-
Algorithms from theorems Tech Report
January 1990 -
Paramorphisms Tech Report
January 1990 -
The syntax and semantics of $ mu $ CRL Tech Report
January 1990 -
Loop checking and negation Tech Report
January 1990 -
January 1990
-
Term rewriting systems Tech Report
January 1990