Formalising nominal C-unification generalised with protected variables
Work
Year: 2021
Type: article
Authors Maurício Ayala-Rincón, Washington Luís Ribeiro de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
Institutions Universidade de Brasília, King's College London
Cites: 27
Cited by: 3
Related to: 10
FWCI: 0.333
Citation percentile (by year/subfield): 57.43
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed