Formalising nominal C-unification generalised with protected variables

Mauricio Ayala-Rincón; Washington de Carvalho-Segundo; Maribel Fernandez; Gabriel Ferreira Silva; Daniele Nantes-Sobrinho

Formalising nominal C-unification generalised with protected variables

Mauricio Ayala-Rincón, Washington de Carvalho-Segundo, Maribel Fernandez, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho

Universidade de Brasilia

Research output: Contribution to journal › Article › peer-review

7 Citations (Scopus)

81 Downloads (Pure)

Original language	English
Journal	MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Early online date	7 May 2021
Publication status	Published - 7 May 2021

Access to Document

MSCS_2020Accepted author manuscript, 359 KB

Cite this

@article{878d26c6767042ff9448f87962bf94a5,

title = "Formalising nominal C-unification generalised with protected variables",

author = "Mauricio Ayala-Rinc{\'o}n and {de Carvalho-Segundo}, Washington and Maribel Fernandez and Silva, {Gabriel Ferreira} and Daniele Nantes-Sobrinho",

year = "2021",

month = may,

day = "7",

language = "English",

journal = "MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE",

issn = "1469-8072",

publisher = "Cambridge University Press",

}

TY - JOUR

T1 - Formalising nominal C-unification generalised with protected variables

AU - Ayala-Rincón, Mauricio

AU - de Carvalho-Segundo, Washington

AU - Fernandez, Maribel

AU - Silva, Gabriel Ferreira

AU - Nantes-Sobrinho, Daniele

PY - 2021/5/7

Y1 - 2021/5/7

M3 - Article

SN - 1469-8072

JO - MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

JF - MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

ER -