A note on simplification orderings

DOI10.1016/0020-0190(79)90071-1zbMath0433.68044OpenAlexW1999927144MaRDI QIDQ1139374

Could not fetch data.

Publication date: 1979

Published in: (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2027/uiuo.ark:/13960/t8jd6fq9h

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.