 | Up a level |
Cabrer, Leonardo Manuel; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary (2019). Checking admissibility using natural dualities. ACM transactions on computational logic, 20(1), pp. 1-19. ACM
Metcalfe, George; Cabrer, Leonardo Manuel (2015). Exact Unification and Admissibility. Logical methods in computer science, 11(3), pp. 1-15. Department of Theoretical Computer Science, Technical University of Braunschweig 10.2168/LMCS-11(3:23)2015
Cabrer, Leonardo Manuel; Metcalfe, George (2015). Admissibility via natural dualities. Journal of pure and applied algebra, 219(9), pp. 4229-4253. North-Holland 10.1016/j.jpaa.2015.02.015
