Login / Signup

A Formalisation of Nominal C-Matching through Unification with Protected Variables.

Mauricio Ayala-RincónWashington de Carvalho SegundoMaribel FernándezDaniele Nantes-Sobrinho
Published in: LSFA (2018)
Keyphrases