Nominal Equational Problems

We define nominal equational problems of the form [Formula: see text] , where [Formula: see text] consists of conjunctions and disjunctions of equations [Formula: see text] , freshness constraints [Formula: see text] and their negations: [Formula: see text] and [Image: see text], where [Formula: see...

Descripción completa

Detalles Bibliográficos
Autores principales: Ayala-Rincón, Mauricio, Fernández, Maribel, Nantes-Sobrinho, Daniele, Vale, Deivid
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2021
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984105/
http://dx.doi.org/10.1007/978-3-030-71995-1_2

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984105/
http://dx.doi.org/10.1007/978-3-030-71995-1_2

Ejemplares similares