Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-10-07 | Remove superfluous 'the' | Marcin Chrzanowski | |
2021-10-07 | Add note about FO variables | Marcin Chrzanowski | |
2021-08-16 | Add and use definitions, first draft MSO query answering | Marcin Chrzanowski | |
2021-08-13 | Finish draft of relabeling query algorithm | Marcin Chrzanowski | |
2021-08-13 | Begin describing relabel queries solution | Marcin Chrzanowski | |
2021-08-13 | Fix time complexity in abstract | Marcin Chrzanowski | |
2021-08-13 | Write branch infix regular query algorithm | Marcin Chrzanowski | |
2021-08-10 | Small rewordings | Marcin Chrzanowski | |
2021-08-10 | Expand sections | Marcin Chrzanowski | |
2021-08-10 | Add shortcut for optimal query problem times | Marcin Chrzanowski | |
2021-08-09 | Expand query problems section | Marcin Chrzanowski | |
2021-08-09 | Mention MSO to automata theorem | Marcin Chrzanowski | |
2021-08-07 | Remove stuff | Marcin Chrzanowski | |
2021-08-07 | Add bibliography generation with biber | Marcin Chrzanowski | |
2021-08-07 | Small fixes | Marcin Chrzanowski | |
2021-08-07 | Add sentence | Marcin Chrzanowski | |
2021-08-07 | Begin defining tree automata | Marcin Chrzanowski | |
2021-08-07 | Begin tree and MSO definitions | Marcin Chrzanowski | |
2021-08-07 | Fixup query problem definitions | Marcin Chrzanowski | |
2021-08-07 | Change subsection order | Marcin Chrzanowski | |
2021-08-07 | Define relabel regular queries on trees | Marcin Chrzanowski | |
2021-08-07 | Define various query problems | Marcin Chrzanowski | |
2021-08-07 | Define queryproblem macro | Marcin Chrzanowski | |
2021-08-07 | Remove unnecessary comments | Marcin Chrzanowski | |
2021-08-06 | Define the branch infix query problem | Marcin Chrzanowski | |
2021-08-06 | Stylistic change | Marcin Chrzanowski | |
2021-08-06 | Fix typo | Marcin Chrzanowski | |
2021-08-05 | Create outline with dummy sections | Marcin Chrzanowski | |
2021-08-05 | Add first version of abstract | Marcin Chrzanowski | |
2021-08-05 | Cleanup comments | Marcin Chrzanowski | |
2021-08-04 | Describe black-white algorithm | Marcin Chrzanowski | |
2021-08-03 | Replace Schieber+Vishkin with Bender+Farah-Colton | Marcin Chrzanowski | |
2021-08-03 | Initial commit | Marcin Chrzanowski | |