Results reproduction
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the Results reproduction category
|
|
0 | 675 | March 27, 2022 |
|
Reproduction of the seed database
|
|
1 | 859 | July 22, 2023 |
|
HOWTO: run finite-automata-reduction decider with independent implementations
|
|
0 | 1075 | January 27, 2023 |
|
Re-constructing the seed database
|
|
2 | 726 | September 27, 2022 |
|
Cyclers Decider
|
|
1 | 684 | September 4, 2022 |
|
Translated Cyclers Decider
|
|
6 | 1342 | September 4, 2022 |
|
Standard TM Text format
|
|
30 | 5967 | April 9, 2023 |
|
Replication of backward reasoning decider
|
|
0 | 685 | June 26, 2022 |
|
Req: List Reason on Machine pages
|
|
9 | 2475 | June 12, 2022 |