A Certified Functional Nominal C-Unification Algorithm

Mauricio Ayala-Rincón
Mauricio Ayala-Rincón
Gabriel Ferreira Silva
Gabriel Ferreira Silva
Daniele Nantes-Sobrinho
Daniele Nantes-Sobrinho

LOPSTR, pp. 123-138, 2019.

Cited by: 1|Views92
EI

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments