External Links

Cite Key

Statistics

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

PDF

Bibliographies

    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.

    Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions

    Steven Schäfer, Tobias Tebbi, Gert Smolka. Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions. In Christian Urban, Xingyuan Zhang, editors, Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. Volume 9236 of Lecture Notes in Computer Science, pages 359-374, Springer, 2015. [doi]

    Authors

    Steven Schäfer

    This author has not been identified. Look up 'Steven Schäfer' in Google

    Tobias Tebbi

    This author has not been identified. Look up 'Tobias Tebbi' in Google

    Gert Smolka

    This author has not been identified. Look up 'Gert Smolka' in Google
    runs on