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.

Confluence of Conditional Rewriting in Logic Form

Raúl Gutiérrez, Salvador Lucas, Miguel Vítores. Confluence of Conditional Rewriting in Logic Form. In Mikolaj Bojanczyk, Chandra Chekuri, editors, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, December 15-17, 2021, Virtual Conference. Volume 213 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Authors

Raúl Gutiérrez

This author has not been identified. Look up 'Raúl Gutiérrez' in Google

Salvador Lucas

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

Miguel Vítores

This author has not been identified. Look up 'Miguel Vítores' in Google
runs on