m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-12-09Add MSO to automaton citationMarcin Chrzanowski
2021-12-09Specify rooted treesMarcin Chrzanowski
2021-12-09Subtrees are children'sMarcin Chrzanowski
2021-12-09Tree traversals are for binary treesMarcin Chrzanowski
2021-12-09Add graph view of treesMarcin Chrzanowski
2021-12-09Wodring in organizationMarcin Chrzanowski
2021-12-09Remove hyphensMarcin Chrzanowski
2021-12-09Fix typoMarcin Chrzanowski
2021-12-09Specify what n is, formattingMarcin Chrzanowski
2021-12-09Change some wordingMarcin Chrzanowski
2021-12-07Finalize subtree with hole explanationMarcin Chrzanowski
2021-12-07Formally show automatonMarcin Chrzanowski
2021-12-06Add word figureMarcin Chrzanowski
2021-12-03Reword sentenceMarcin Chrzanowski
2021-12-03Complete proof for LCA closureMarcin Chrzanowski
2021-12-03Reword partition readinessMarcin Chrzanowski
2021-12-03Be more specific about subtreesMarcin Chrzanowski
2021-11-26Begin rewording LCA proofMarcin Chrzanowski
2021-11-26Prove part of partition readiness computationMarcin Chrzanowski
2021-11-26RewordMarcin Chrzanowski
2021-11-26Add claim theorem typeMarcin Chrzanowski
2021-11-25Reword partitioningMarcin Chrzanowski
2021-11-25Clear up partitioningMarcin Chrzanowski
2021-11-25Organize with theoremsMarcin Chrzanowski
2021-11-24Revise Related WorkMarcin Chrzanowski
2021-11-24Queries -> Questions in definitionMarcin Chrzanowski
2021-11-24Fix wordingMarcin Chrzanowski
2021-11-24Rewrite parts of introductionMarcin Chrzanowski
2021-11-24Add Amarilli paper to bibliographyMarcin Chrzanowski
2021-11-09Remove unnecessary commentMarcin Chrzanowski
2021-11-05Fix data table fonts in math modeMarcin Chrzanowski
2021-11-05Add BojaƄczyk citationMarcin Chrzanowski
2021-11-05Reword and change fontMarcin Chrzanowski
2021-10-14Reword and add notesMarcin Chrzanowski
2021-10-14index -> labelMarcin Chrzanowski
2021-10-14Add headingsMarcin Chrzanowski
2021-10-14Adjust wordsMarcin Chrzanowski
2021-10-14Add in order traversalMarcin Chrzanowski
2021-10-14RewordMarcin Chrzanowski
2021-10-14Remove conclusionsMarcin Chrzanowski
2021-10-14Describe organization of paperMarcin Chrzanowski
2021-10-14Add references in textMarcin Chrzanowski
2021-10-14Add referencesMarcin Chrzanowski
2021-10-14Expand introductionMarcin Chrzanowski
2021-10-14Add enumeration class definitionsMarcin Chrzanowski
2021-10-13Fixup relabel query answeringMarcin Chrzanowski
2021-10-13Add more explicit reduction from MSO to relablingMarcin Chrzanowski
2021-10-13Improve branch infix regular queriesMarcin Chrzanowski
2021-10-13Describe no marked vertex edge caseMarcin Chrzanowski
2021-10-13Prove observationMarcin Chrzanowski