m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
path: root/mgr.tex
AgeCommit message (Expand)Author
2022-02-05Remove exaggerationMarcin Chrzanowski
2022-02-05Remove unnecessary commasMarcin Chrzanowski
2022-02-05Give a better lower bound on MSO model checkingMarcin Chrzanowski
2022-01-14Fix typoMarcin Chrzanowski
2021-12-17Fix line lengthsMarcin Chrzanowski
2021-12-17Introduce O_k notationMarcin Chrzanowski
2021-12-17Small fixesMarcin Chrzanowski
2021-12-16Rename lettersMarcin Chrzanowski
2021-12-16StyleMarcin Chrzanowski
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