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.

Regular Tree Relations

Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas Sternagel. Regular Tree Relations. Archive of Formal Proofs, 2021, 2021. [doi]

Authors

Alexander Lochmann

This author has not been identified. Look up 'Alexander Lochmann' in Google

Bertram Felgenhauer

This author has not been identified. Look up 'Bertram Felgenhauer' in Google

Christian Sternagel

This author has not been identified. Look up 'Christian Sternagel' in Google

René Thiemann

This author has not been identified. Look up 'René Thiemann' in Google

Thomas Sternagel

This author has not been identified. Look up 'Thomas Sternagel' in Google
runs on