Age | Commit message (Expand) | Author |
---|---|---|
2021-12-09 | Add graph view of trees | Marcin Chrzanowski |
2021-12-09 | Wodring in organization | Marcin Chrzanowski |
2021-12-09 | Remove hyphens | Marcin Chrzanowski |
2021-12-09 | Fix typo | Marcin Chrzanowski |
2021-12-09 | Specify what n is, formatting | Marcin Chrzanowski |
2021-12-09 | Change some wording | Marcin Chrzanowski |
2021-12-07 | Finalize subtree with hole explanation | Marcin Chrzanowski |
2021-12-07 | Formally show automaton | Marcin Chrzanowski |
2021-12-06 | Add word figure | Marcin Chrzanowski |
2021-12-03 | Reword sentence | Marcin Chrzanowski |
2021-12-03 | Complete proof for LCA closure | Marcin Chrzanowski |
2021-12-03 | Reword partition readiness | Marcin Chrzanowski |
2021-12-03 | Be more specific about subtrees | Marcin Chrzanowski |
2021-11-26 | Begin rewording LCA proof | Marcin Chrzanowski |
2021-11-26 | Prove part of partition readiness computation | Marcin Chrzanowski |
2021-11-26 | Reword | Marcin Chrzanowski |
2021-11-25 | Reword partitioning | Marcin Chrzanowski |
2021-11-25 | Clear up partitioning | Marcin Chrzanowski |
2021-11-25 | Organize with theorems | Marcin Chrzanowski |
2021-11-24 | Revise Related Work | Marcin Chrzanowski |
2021-11-24 | Fix wording | Marcin Chrzanowski |
2021-11-24 | Rewrite parts of introduction | Marcin Chrzanowski |
2021-11-09 | Remove unnecessary comment | Marcin Chrzanowski |
2021-11-05 | Fix data table fonts in math mode | Marcin Chrzanowski |
2021-11-05 | Add BojaĆczyk citation | Marcin Chrzanowski |
2021-11-05 | Reword and change font | Marcin Chrzanowski |
2021-10-14 | Reword and add notes | Marcin Chrzanowski |
2021-10-14 | index -> label | Marcin Chrzanowski |
2021-10-14 | Add headings | Marcin Chrzanowski |
2021-10-14 | Adjust words | Marcin Chrzanowski |
2021-10-14 | Add in order traversal | Marcin Chrzanowski |
2021-10-14 | Reword | Marcin Chrzanowski |
2021-10-14 | Remove conclusions | Marcin Chrzanowski |
2021-10-14 | Describe organization of paper | Marcin Chrzanowski |
2021-10-14 | Add references in text | Marcin Chrzanowski |
2021-10-14 | Expand introduction | 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 |