Elimination of conditions
From MaRDI portal
Publication:1974693
DOI10.1006/jsco.1999.0288zbMath0943.68098MaRDI QIDQ1974693
Publication date: 8 May 2000
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/e548eb61f86609b26fc3d2f4144204f399bcf9b5
68Q42: Grammars and rewriting systems
Cites Work