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

Quantifier eliminationSpecial issue

Mathematics Subject Classification ID

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

Review text

The articles of this volume will be reviewed individually.

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)