Special issue on Applications of quantifier elimination

MaRDI QIDQ1368695zbMATH OpenFDO

Authors

Publication date 8 January 1998

Published in Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

Special issueQuantifier elimination

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06) Quantifier elimination, model completeness, and related topics (03C10)

Cited in

(2)

• scientific article; zbMATH DE number 1490034 (Why is no real title available?)
• scientific article; zbMATH DE number 1507955 (Why is no real title available?)

This page was built for publication: Special issue on Applications of quantifier elimination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1368695)