P UBLICATIONS C HRISTOPH M. K IRSCH www.cs.uni-salzburg.at ∼ck C ONFERENCE AND W ORKSHOP PAPERS - Symposium on Logic in Computer Science - Document - PDFSEARCH.IO

First Page	Meta Content
	P UBLICATIONS C HRISTOPH M. K IRSCH www.cs.uni-salzburg.at/∼ck C ONFERENCE AND W ORKSHOP PAPERS Add to Reading List Document Date: 2016-07-18 08:27:08 Open Document File Size: 89,01 KB Share Result on Facebook

P UBLICATIONS C HRISTOPH M. K IRSCH www.cs.uni-salzburg.at/∼ck C ONFERENCE AND W ORKSHOP PAPERSAdd to Reading List