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.

Certified First-Order AC-Unification and Applications

Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes Sobrinho. Certified First-Order AC-Unification and Applications. Journal of Automated Reasoning, 68(4):25, December 2024. [doi]

Authors

Mauricio Ayala-Rincón

This author has not been identified. Look up 'Mauricio Ayala-Rincón' in Google

Maribel Fernández

This author has not been identified. Look up 'Maribel Fernández' in Google

Gabriel Ferreira Silva

This author has not been identified. Look up 'Gabriel Ferreira Silva' in Google

Temur Kutsia

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

Daniele Nantes Sobrinho

This author has not been identified. Look up 'Daniele Nantes Sobrinho' in Google
runs on