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.

Recursion Schemata for NCk

Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem. Recursion Schemata for NCk. In Michael Kaminski, Simone Martini, editors, Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings. Volume 5213 of Lecture Notes in Computer Science, pages 49-63, Springer, 2008. [doi]

Authors

Guillaume Bonfante

This author has not been identified. Look up 'Guillaume Bonfante' in Google

Reinhard Kahle

This author has not been identified. Look up 'Reinhard Kahle' in Google

Jean-Yves Marion

This author has not been identified. It may be one of the following persons: Look up 'Jean-Yves Marion' in Google

Isabel Oitavem

This author has not been identified. Look up 'Isabel Oitavem' in Google
runs on