Login / Signup

Coinductive Techniques for Operational Equivalence of Interaction Nets.

Maribel FernándezIan Mackie
Published in: LICS (1998)
Keyphrases
  • user interaction
  • neural network
  • human robot interaction
  • image processing
  • multiresolution
  • human computer interaction