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.

Nominal Equational Problems

Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho, Deivid Vale. Nominal Equational Problems. In Stefan Kiefer, Christine Tasson, editors, Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Volume 12650 of Lecture Notes in Computer Science, pages 22-41, Springer, 2021. [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

Daniele Nantes Sobrinho

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

Deivid Vale

This author has not been identified. Look up 'Deivid Vale' in Google
runs on