2022-10-13 | Christian Urban | small polish | file | diff | annotate |
2022-10-12 | Christian Urban | updated paper | file | diff | annotate |
2022-10-12 | Christian Urban | updated paper for FoSSaCS | file | diff | annotate |
2022-09-10 | Christian Urban | updated paper | file | diff | annotate |
2022-08-15 | Christian Urban | updated paper and literature | file | diff | annotate |
2022-07-17 | Christian Urban | added paper about counting automata | file | diff | annotate |
2022-07-17 | Christian Urban | updated paper and corresponding theories | file | diff | annotate |
2022-07-09 | Christian Urban | updated paper and theories to include n-times | file | diff | annotate |
2022-05-03 | Christian Urban | fixed a small typo in the Papaer.thy | file | diff | annotate |
2022-05-01 | Christian Urban | updated the paper | file | diff | annotate |
2022-05-01 | Christian Urban | fixed tiny typo in the paper | file | diff | annotate |
2022-04-29 | Christian Urban | updated to include the paper | file | diff | annotate |