m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2022-10-18Add Kazana thesis to bibMarcin Chrzanowski
2022-09-14Fix typosMarcin Chrzanowski
2022-09-14Fix typoMarcin Chrzanowski
2022-07-02Fix typos and style problemsMarcin Chrzanowski
2022-07-02Fix and add theoremsMarcin Chrzanowski
2022-07-02Add reference to figureMarcin Chrzanowski
2022-07-02Add computational model sectionMarcin Chrzanowski
2022-02-05Fix alphabetMarcin Chrzanowski
2022-02-05Reword question answering definitionMarcin Chrzanowski
2022-02-05Specify trees as binaryMarcin Chrzanowski
2022-02-05Cleanup styleMarcin Chrzanowski
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 11:26:20 +0000