/Literature/
drwxr-xr-x [up]
-rw-r--r-- 2017-08-27 00:03 +0300 1052520 Karp-automata.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 564323 Klenex-paper.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 528 LINKS
-rw-r--r-- 2017-08-27 00:03 +0300 167669 LangSec-2014-fsm-parsers.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 182709 PhdUpgradeReport.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 381089 RegEx-CrashCourse.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 205012 alternative-posix-conf.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 366261 alternative-posix.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 1978418 antimirov1996.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 291880 automata-explosion-gpu.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 3389320 automata-explosion-survey.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 1759294 automata-explosion2.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 685630 automata-notes.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 446723 backref-automata.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 200315 backref-automata2.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 111675 backref-komandansky.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 426733 backref-singlecharacter.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 1637480 berrysethi.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 748881 better-parse-derivs.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 326261 catastrophic-backtracking.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 287850 ext-partial-ders.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 467910 ext-partial-ders2.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 893606 ext-partial-ders3-phd.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 165142 frisch-cardelli.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 2233085 grathwohl2015thesis.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 456912 henglein2011b-bitstrings.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 160414 kraus-nipkow-rexp.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 439867 ktl16regexp-agda.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 329739 lexing-via-extended-regex.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 190075 nipkow-lexing.ps
-rw-r--r-- 2017-08-27 00:03 +0300 298978 pattern-match.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 567452 pfenning-dfa16.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 2030862 rasmussen2017-0-thesis.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 273949 regex-low-lewel-code-verify.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 334202 regex-semantics.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 219107 rex-benchmark-TR.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 343076 size-derivatives.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 54961109 spineless-tagless-gmachine.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 248745 stal-extended.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 79718 string-derivative.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 216769 sulzmann-ambiguity.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 329739 sulzmann-lexing-automata-part-der.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 274365 sulzmann14-new.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 266136 sulzmann14.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 398324 tal-toplas.pdf
-rw-r--r-- 2017-08-27 00:03 +0300 368904 type-pattern-match.pdf