 | Up a level |
Röthlisberger, Christoph; Metcalfe, George (2013). Admissibility in Finitely Generated Quasivarieties. Logical Methods in Computer Science, Volume 9, Issue 2(2) International Federation for Computational Logic 10.2168/LMCS-9(2:9)2013
Röthlisberger, Christoph (2013). Admissibility in Finitely Generated Quasivarieties (Unpublished). (Dissertation, University of Bern, Faculty of Science)
