m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2021-10-07Reword thingsMarcin Chrzanowski
2021-10-07Define tree traversalsMarcin Chrzanowski
2021-10-07Use x.q notationMarcin Chrzanowski
2021-10-07Use i.q notationMarcin Chrzanowski
2021-10-07Expand contractionMarcin Chrzanowski
2021-10-07Elaborate on regular infix algorithmMarcin Chrzanowski
2021-10-07Comment on fixed parametersMarcin Chrzanowski
2021-10-07Adjust wordingMarcin Chrzanowski