Unifiability and Admissibility in Finite Algebras

Metcalfe, George; Röthlisberger, Christoph (2012). Unifiability and Admissibility in Finite Algebras. In: Cooper, S. Barry; Dawar, Anuj; Löwe, Benedikt (eds.) How the World Computes. Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings. Lecture Notes in Computer Science: Vol. 7318 (pp. 485-495). Heidelberg: Springer Verlag 10.1007/978-3-642-30870-3_49

Full text not available from this repository. (Request a copy)

Item Type: Book Section (Book Chapter)
Division/Institute: 08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics
UniBE Contributor: Metcalfe, George
Series: Lecture Notes in Computer Science
Publisher: Springer Verlag
Language: English
Submitter: Factscience Import
Date Deposited: 04 Oct 2013 14:41
Last Modified: 04 May 2014 23:12
Publisher DOI: 10.1007/978-3-642-30870-3_49
URI: http://boris.unibe.ch/id/eprint/17006 (FactScience: 224722)

Actions (login required)

Edit item Edit item
Provide Feedback