Nominal Equational Problems.

Mauricio Ayala-Rincn, Maribel Fernndez, Daniele Nantes-Sobrinho, Deivid Vale

Browse the full FOSSACS paper archive.