Uniform Variable Splitting Roger Antonsen Department of Informatics, University of Oslo, Norway This extended abstract motivates and presents techniques for identifying variable independence in free variable calculi for

First Page		Document Content
Date: 2004-06-10 03:28:33		Uniform Variable Splitting Roger Antonsen Department of Informatics, University of Oslo, Norway This extended abstract motivates and presents techniques for identifying variable independence in free variable calculi for Add to Reading List Source URL: ceur-ws.org Download Document from Source Website File Size: 158,73 KB Share Document on Facebook