m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
path: root/definitions.sty
AgeCommit message (Collapse)Author
2021-09-30Modify definitionsMarcin Chrzanowski
2021-08-16Add and use definitions, first draft MSO query answeringMarcin Chrzanowski
2021-08-13Begin describing relabel queries solutionMarcin Chrzanowski
2021-08-10Add shortcut for optimal query problem timesMarcin Chrzanowski
2021-08-09Add query problem time complexity commandMarcin Chrzanowski
2021-08-09Add Theorem definitionMarcin Chrzanowski
2021-08-07Add macro for defined termsMarcin Chrzanowski
2021-08-07Add an optional 'fixed parameters' parameterMarcin Chrzanowski
2021-08-07Define queryproblem macroMarcin Chrzanowski