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.

Complétude d un système formel pour prouver l équivalence de certains schémas récursifs monadiques

Bruno Courcelle, Jean Vuillemin. Complétude d un système formel pour prouver l équivalence de certains schémas récursifs monadiques. In Bernard Robinet, editor, Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974. Volume 19 of Lecture Notes in Computer Science, pages 234-252, Springer, 1974.

Authors

Bruno Courcelle

This author has not been identified. Look up 'Bruno Courcelle' in Google

Jean Vuillemin

This author has not been identified. Look up 'Jean Vuillemin' in Google
runs on