m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2021-08-13Write branch infix regular query algorithmMarcin Chrzanowski
2021-08-10Small rewordingsMarcin Chrzanowski
2021-08-10Expand sectionsMarcin Chrzanowski
2021-08-10Add shortcut for optimal query problem timesMarcin Chrzanowski
2021-08-09Remove URLs from citationsMarcin Chrzanowski
2021-08-09Expand query problems sectionMarcin Chrzanowski
2021-08-09Mention MSO to automata theoremMarcin Chrzanowski
2021-08-09Add bibliography entriesMarcin Chrzanowski
2021-08-09Add query problem time complexity commandMarcin Chrzanowski
2021-08-09Add Theorem definitionMarcin Chrzanowski
2021-08-09Add make clean commandMarcin Chrzanowski
2021-08-07Remove stuffMarcin Chrzanowski
2021-08-07Add MakefileMarcin Chrzanowski
2021-08-07Add bibliography generation with biberMarcin Chrzanowski
2021-08-07Small fixesMarcin Chrzanowski
2021-08-07Add sentenceMarcin Chrzanowski
2021-08-07Begin defining tree automataMarcin Chrzanowski
2021-08-07Add macro for defined termsMarcin Chrzanowski
2021-08-07Begin tree and MSO definitionsMarcin Chrzanowski
2021-08-07Fixup query problem definitionsMarcin Chrzanowski
2021-08-07Change subsection orderMarcin Chrzanowski
2021-08-07Define relabel regular queries on treesMarcin Chrzanowski
2021-08-07Define various query problemsMarcin Chrzanowski
2021-08-07Add an optional 'fixed parameters' parameterMarcin Chrzanowski
2021-08-07Define queryproblem macroMarcin Chrzanowski
2021-08-07Remove unnecessary commentsMarcin Chrzanowski
2021-08-06Define the branch infix query problemMarcin Chrzanowski
2021-08-06Stylistic changeMarcin Chrzanowski
2021-08-06Fix typoMarcin Chrzanowski
2021-08-05Create outline with dummy sectionsMarcin Chrzanowski