Cited By
View all- CHENEY JMOMIGLIANO A(2017)αCheck: A mechanized metatheory model checkerTheory and Practice of Logic Programming10.1017/S147106841700003517:3(311-352)Online publication date: 22-May-2017
- Kozen DMamouras KSilva A(2015)Completeness and Incompleteness in Nominal Kleene AlgebraRelational and Algebraic Methods in Computer Science10.1007/978-3-319-24704-5_4(51-66)Online publication date: 8-Nov-2015
- Levy JVillaret M(2012)Nominal Unification from a Higher-Order PerspectiveACM Transactions on Computational Logic10.1145/2159531.215953213:2(1-31)Online publication date: 1-Apr-2012
- Show More Cited By