m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2021-10-07Be more precise with relationsMarcin Chrzanowski
2021-10-07Remove superfluous 'the'Marcin Chrzanowski
2021-10-07Add note about FO variablesMarcin Chrzanowski
2021-09-30Modify definitionsMarcin Chrzanowski
2021-08-16Add and use definitions, first draft MSO query answeringMarcin Chrzanowski
2021-08-13Fix Polish charactersMarcin Chrzanowski
2021-08-13Finish draft of relabeling query algorithmMarcin Chrzanowski
2021-08-13Add gitignoreMarcin Chrzanowski
2021-08-13Begin describing relabel queries solutionMarcin Chrzanowski
2021-08-13Fix time complexity in abstractMarcin Chrzanowski