Matthew Valeriote | AC Group | TU Wienhttps://ac.notready.eu/author/matthew-valeriote/Matthew ValerioteHugo Blox Builder (https://hugoblox.com)en-usTue, 01 Jan 2013 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngMatthew Valeriotehttps://ac.notready.eu/author/matthew-valeriote/Generic expression hardness results for primitive positive formula comparisonhttps://ac.notready.eu/publication/generic-expression-hardness-results-for-primitive-positive-formula-comparison-2/Tue, 01 Jan 2013 00:00:00 +0000https://ac.notready.eu/publication/generic-expression-hardness-results-for-primitive-positive-formula-comparison-2/On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulashttps://ac.notready.eu/publication/on-the-expression-complexity-of-equivalence-and-isomorphism-of-primitive-positive-formulas/Sun, 01 Jan 2012 00:00:00 +0000https://ac.notready.eu/publication/on-the-expression-complexity-of-equivalence-and-isomorphism-of-primitive-positive-formulas/Generic Expression Hardness Results for Primitive Positive Formula Comparisonhttps://ac.notready.eu/publication/generic-expression-hardness-results-for-primitive-positive-formula-comparison/Sat, 01 Jan 2011 00:00:00 +0000https://ac.notready.eu/publication/generic-expression-hardness-results-for-primitive-positive-formula-comparison/