Advertisement

Unification in parallel with refined linearity test: An example of recursive network structure in FP2, a functional parallel programming language

  • Ricardo Caferra
  • Philippe Jorrand
Parallel Symholic And Algebraic Computation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)

References

  1. [1]
    Caferra, R. and Jorrand, Ph. Unification with refined linearity check as a network of parallel processes, RRLIFIA, Grenoble, January 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Ricardo Caferra
    • 1
  • Philippe Jorrand
    • 1
  1. 1.LIFIA Laboratoire d'Informatique Fondamentale et d'Intelligence Artificielle IMAGGrenobleFrance

Personalised recommendations