External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Linear Recursive Functions

Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie. Linear Recursive Functions. In Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner, editors, Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Volume 4600 of Lecture Notes in Computer Science, pages 182-195, Springer, 2007. [doi]

Authors

Sandra Alves

This author has not been identified. Look up 'Sandra Alves' in Google

Maribel Fernández

This author has not been identified. Look up 'Maribel Fernández' in Google

Mário Florido

This author has not been identified. Look up 'Mário Florido' in Google

Ian Mackie

This author has not been identified. Look up 'Ian Mackie' in Google
runs on