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

First Page		Document Content
Date: 2016-07-18 08:27:08 Software engineering Programming language theory Theoretical computer science Index Search engine indexing Actor model ALGOL 68 Symposium on Logic in Computer Science		P UBLICATIONS C HRISTOPH M. K IRSCH www.cs.uni-salzburg.at/∼ck C ONFERENCE AND W ORKSHOP PAPERS Add to Reading List Source URL: www.cs.uni-salzburg.at Download Document from Source Website File Size: 89,01 KB Share Document on Facebook