thys3/Paper.thy
2022-10-13 Christian Urban small polish
2022-10-12 Christian Urban updated paper
2022-10-12 Christian Urban updated paper for FoSSaCS
2022-09-10 Christian Urban updated paper
2022-08-15 Christian Urban updated paper and literature
2022-07-17 Christian Urban added paper about counting automata
2022-07-17 Christian Urban updated paper and corresponding theories
2022-07-09 Christian Urban updated paper and theories to include n-times
2022-05-03 Christian Urban fixed a small typo in the Papaer.thy
2022-05-01 Christian Urban updated the paper
2022-05-01 Christian Urban fixed tiny typo in the paper
2022-04-29 Christian Urban updated to include the paper
less more (0) tip