syntactic reduction

synthesis syntactic synthetic syntax synthesise synthesize synthesiser syntactically synth synthase synthesizer synthesised

first-order dependence first-order derivative first-order difference equation first-order differential equation first-order dynamic logic first-order equation first-order language first-order logic first-order modal logic first-order predicate calculus