ecp/ecoop_paper.out
author Christian Urban <urbanc@in.tum.de>
Tue, 25 Jun 2019 22:43:21 +0100
changeset 18 4a9c9085fb85
parent 17 3241b1e71633
permissions -rw-r--r--
deleted data-files and further unnecessary parts in data.sty
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17
Chengsong
parents:
diff changeset
     1
\BOOKMARK [1][-]{section.1}{Introduction}{}% 1
Chengsong
parents:
diff changeset
     2
\BOOKMARK [1][-]{section.2}{The Algorithms by Brzozowski, and Sulzmann and Lu}{}% 2
Chengsong
parents:
diff changeset
     3
\BOOKMARK [1][-]{section.3}{Simplification of Regular Expressions}{}% 3
Chengsong
parents:
diff changeset
     4
\BOOKMARK [1][-]{section.4}{Conclusion}{}% 4