Thu, 21 Jul 2022 20:21:52 +0100 Chengsong chapter2 finished polishing
Sun, 17 Jul 2022 20:28:46 +0100 Christian Urban removed junk in BlexerSimp
Sun, 17 Jul 2022 20:28:04 +0100 Christian Urban added paper about counting automata
Sun, 17 Jul 2022 20:09:38 +0100 Christian Urban added paper
Sun, 17 Jul 2022 13:07:05 +0100 Christian Urban updated paper and corresponding theories
Sat, 16 Jul 2022 18:34:46 +0100 Chengsong more chapter2 modifications
(0) -300 -100 -30 -10 -6 +6 +10 +30 tip