| No. |
Title |
Author |
Year |
| 1 |
Nominal Techniques for Software Specification and Verification (Invited Talk) |
Fernández, Maribel |
2023 |
| 2 |
A Certified Algorithm for AC-Unification |
Ayala-Rincón, Mauricio et al. |
2022 |
| 3 |
Front Matter, Table of Contents, Preface, Conference Organization |
Fernández, Maribel et al. |
2020 |
| 4 |
LIPIcs, Volume 152, CSL'20, Complete Volume |
Fernández, Maribel et al. |
2020 |
| 5 |
Fixed-Point Constraints for Nominal Equational Unification |
Ayala-Rincón, Mauricio et al. |
2018 |
| 6 |
Nominal Narrowing |
Ayala-Rincón, Mauricio et al. |
2016 |
| 7 |
Dependent Types for Nominal Terms with Atom Substitutions |
Fairweather, Elliot et al. |
2015 |
| 8 |
Front Matter, Table of Contents, Preface, Conference Organization |
Fernández, Maribel |
2015 |
| 9 |
LIPIcs, Volume 36, RTA'15, Complete Volume |
Fernández, Maribel |
2015 |
