Login / Signup
Coinductive Techniques for Operational Equivalence of Interaction Nets.
Maribel Fernández
Ian Mackie
Published in:
LICS (1998)
Keyphrases
</>
user interaction
neural network
human robot interaction
image processing
multiresolution
human computer interaction