m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2021-12-16Fix typoMarcin Chrzanowski
2021-12-16StyleMarcin Chrzanowski
2021-12-16Fix branch infix preprocessingMarcin Chrzanowski
2021-12-16ProofMarcin Chrzanowski
2021-12-16StyleMarcin Chrzanowski
2021-12-16Use same convention for DFAMarcin Chrzanowski
2021-12-16WordingMarcin Chrzanowski
2021-12-16Specify tree needs to be preprocessedMarcin Chrzanowski
2021-12-16Small improvement in introductionMarcin Chrzanowski
2021-12-13Add proper classificationMarcin Chrzanowski
2021-12-13Let w = u_0Marcin Chrzanowski
2021-12-13Add subtree with hole figureMarcin Chrzanowski
2021-12-13Fix subtree with hole partitionMarcin Chrzanowski
2021-12-13Add partition figureMarcin Chrzanowski
2021-12-11Add conclusionMarcin Chrzanowski
2021-12-11Update dateMarcin Chrzanowski
2021-12-11Rename verticesMarcin Chrzanowski
2021-12-11Fix typoMarcin Chrzanowski
2021-12-11Add marked tree figureMarcin Chrzanowski
2021-12-11Add tree figureMarcin Chrzanowski
2021-12-11Add missing root vertex in tree caseMarcin Chrzanowski
2021-12-11Add extra copy of Q in word caseMarcin Chrzanowski
2021-12-11Fix subscriptMarcin Chrzanowski
2021-12-11Explain R notationMarcin Chrzanowski
2021-12-11Move bullet point out into paragraphMarcin Chrzanowski
2021-12-11Expand on singleton caseMarcin Chrzanowski
2021-12-11Expand questionMarcin Chrzanowski
2021-12-11Fix wordingMarcin Chrzanowski
2021-12-11Fix set name typoMarcin Chrzanowski
2021-12-11Clarify orderMarcin Chrzanowski
2021-12-09Add a recap of the full algorithmMarcin Chrzanowski
2021-12-09Queries to questionsMarcin Chrzanowski
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 10:21:45 +0000