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.

Strong Normalization of Proof Nets Modulo Structural Congruences

Roberto Di Cosmo, Stefano Guerrini. Strong Normalization of Proof Nets Modulo Structural Congruences. In Paliath Narendran, Michaël Rusinowitch, editors, Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings. Volume 1631 of Lecture Notes in Computer Science, pages 75-89, Springer, 1999. [doi]

Authors

Roberto Di Cosmo

This author has not been identified. It may be one of the following persons: Look up 'Roberto Di Cosmo' in Google

Stefano Guerrini

This author has not been identified. Look up 'Stefano Guerrini' in Google
runs on