SCAN is complete for all Sahlqvist formulae? V. Goranko1, U. Hustadt2 , R. A. Schmidt3 and D. Vakarelov4 1 Rand Afrikaans University, South Africa University of Liverpool, UK,

First Page		Document Content
Date: 2007-06-12 08:22:17		SCAN is complete for all Sahlqvist formulae? V. Goranko1, U. Hustadt2 , R. A. Schmidt3 and D. Vakarelov4 1 Rand Afrikaans University, South Africa University of Liverpool, UK, Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 143,47 KB Share Document on Facebook