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.

Kleene Algebras with Domain

Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber. Kleene Algebras with Domain. Archive of Formal Proofs, 2016, 2016. [doi]

Authors

Victor B. F. Gomes

This author has not been identified. Look up 'Victor B. F. Gomes' in Google

Walter Guttmann

This author has not been identified. Look up 'Walter Guttmann' in Google

Peter Höfner

This author has not been identified. Look up 'Peter Höfner' in Google

Georg Struth

This author has not been identified. Look up 'Georg Struth' in Google

Tjark Weber

This author has not been identified. Look up 'Tjark Weber' in Google
runs on