Members/kono/Proof/automaton: revision graph

graph

less more | rev 384: (0) -300 -100 -60 tip

...
2023-07-26, by Shinji KONO
add regex2 (we need source reorganization)
2023-07-25, by Shinji KONO
...
2023-07-24, by Shinji KONO
...
2023-07-24, by Shinji KONO
... !
2023-07-24, by Shinji KONO
...
2023-07-24, by Shinji KONO
...
2023-07-24, by Shinji KONO
...
2023-07-24, by Shinji KONO
...
2023-07-24, by Shinji KONO
...
2023-07-24, by Shinji KONO
.. another one
2023-07-23, by Shinji KONO
...
2023-07-23, by Shinji KONO
..
2023-07-22, by Shinji KONO
... I see ...
2023-07-22, by Shinji KONO
...
2023-07-22, by Shinji KONO
we may use different scheme on regex-states
2023-07-22, by Shinji KONO
...
2023-07-22, by Shinji KONO
...
2023-07-22, by Shinji KONO
...
2023-07-22, by Shinji KONO
...
2023-07-21, by Shinji KONO
...
2023-07-19, by Shinji KONO
finiteSet from fin injection done
2023-07-18, by Shinji KONO
...
2023-07-18, by Shinji KONO
...
2023-07-18, by Shinji KONO
fix fin<n
2023-07-18, by Shinji KONO
...
2023-07-18, by Shinji KONO
...
2023-07-18, by Shinji KONO
...
2023-07-18, by Shinji KONO
...
2023-07-18, by Shinji KONO
...
2023-07-18, by Shinji KONO
...
2023-07-18, by Shinji KONO
...
2023-07-18, by Shinji KONO
...
2023-07-18, by Shinji KONO
...
2023-07-17, by Shinji KONO
...
2023-07-17, by Shinji KONO
...
2023-07-17, by Shinji KONO
...
2023-07-17, by Shinji KONO
...
2023-07-17, by Shinji KONO
copying countable bijection may not easy
2023-07-17, by Shinji KONO
...
2023-07-16, by Shinji KONO
...
2023-07-15, by Shinji KONO
n<m→fDUP is bad idea. Bernstein style on constructive proof requires complex calculation
2023-07-15, by Shinji KONO
...
2023-07-15, by Shinji KONO
...
2023-07-11, by Shinji KONO
...
2023-07-10, by Shinji KONO
...
2023-07-10, by Shinji KONO
...
2023-07-10, by Shinji KONO
...
2023-07-10, by Shinji KONO
...
2023-07-09, by Shinji KONO
...
2023-07-09, by Shinji KONO
...
2023-03-20, by Shinji KONO
...
2023-03-12, by Shinji KONO
fix
2023-03-12, by Shinji KONO
...
2022-12-07, by Shinji KONO
...
2022-11-16, by Shinji KONO
...
2022-01-25, by Shinji KONO
temporal logic
2022-01-23, by Shinji KONO
...
2022-01-21, by Shinji KONO
omega
2022-01-21, by Shinji KONO
root2 fulcomp
2022-01-14, by Shinji KONO

less more | rev 384: (0) -300 -100 -60 tip

Mercurial > hg > Members > kono > Proof > automaton

graph