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.

Automating Inversion of Inductive Predicates in Coq

Cristina Cornes, Delphine Terrasse. Automating Inversion of Inductive Predicates in Coq. In Stefano Berardi, Mario Coppo, editors, Types for Proofs and Programs, International Workshop TYPES 95, Torino, Italy, June 5-8, 1995, Selected Papers. Volume 1158 of Lecture Notes in Computer Science, pages 85-104, Springer, 1995. [doi]

Authors

Cristina Cornes

This author has not been identified. Look up 'Cristina Cornes' in Google

Delphine Terrasse

This author has not been identified. Look up 'Delphine Terrasse' in Google
runs on