Distribution of Linux Log Files Described by Predicate Linear Logic Formula.

Jn Perhc, Daniel Mihlyi, Lukas Relosky

Browse the full SACI paper archive.