| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-10-14 | Add enumeration class definitions | Marcin Chrzanowski |
| 2021-10-13 | Fixup relabel query answering | Marcin Chrzanowski |
| 2021-10-13 | Add more explicit reduction from MSO to relabling | Marcin Chrzanowski |
| 2021-10-13 | Improve branch infix regular queries | Marcin Chrzanowski |
| 2021-10-13 | Describe no marked vertex edge case | Marcin Chrzanowski |
| 2021-10-13 | Prove observation | Marcin Chrzanowski |
| 2021-10-07 | Reword things | Marcin Chrzanowski |
| 2021-10-07 | Define tree traversals | Marcin Chrzanowski |
| 2021-10-07 | Use x.q notation | Marcin Chrzanowski |
| 2021-10-07 | Use i.q notation | Marcin Chrzanowski |
| 2021-10-07 | Expand contraction | Marcin Chrzanowski |
| 2021-10-07 | Elaborate on regular infix algorithm | Marcin Chrzanowski |
| 2021-10-07 | Comment on fixed parameters | Marcin Chrzanowski |
| 2021-10-07 | Adjust wording | Marcin Chrzanowski |
| 2021-10-07 | Be more precise with relations | Marcin Chrzanowski |
| 2021-10-07 | Remove superfluous 'the' | Marcin Chrzanowski |
| 2021-10-07 | Add note about FO variables | Marcin Chrzanowski |
| 2021-09-30 | Modify definitions | Marcin Chrzanowski |
| 2021-08-16 | Add and use definitions, first draft MSO query answering | Marcin Chrzanowski |
| 2021-08-13 | Fix Polish characters | Marcin Chrzanowski |
| 2021-08-13 | Finish draft of relabeling query algorithm | Marcin Chrzanowski |
| 2021-08-13 | Add gitignore | 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 | Remove URLs from citations | Marcin Chrzanowski |
| 2021-08-09 | Expand query problems section | Marcin Chrzanowski |
| 2021-08-09 | Mention MSO to automata theorem | Marcin Chrzanowski |
| 2021-08-09 | Add bibliography entries | Marcin Chrzanowski |
| 2021-08-09 | Add query problem time complexity command | Marcin Chrzanowski |
| 2021-08-09 | Add Theorem definition | Marcin Chrzanowski |
| 2021-08-09 | Add make clean command | Marcin Chrzanowski |
| 2021-08-07 | Remove stuff | Marcin Chrzanowski |
| 2021-08-07 | Add Makefile | 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 | Add macro for defined terms | 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 | Add an optional 'fixed parameters' parameter | Marcin Chrzanowski |
| 2021-08-07 | Define queryproblem macro | Marcin Chrzanowski |
| 2021-08-07 | Remove unnecessary comments | Marcin Chrzanowski |