Elimination of algorithmic quantifiers for ordered differential algebra
From MaRDI portal
Publication:1127836
DOI10.1007/S001530050119zbMATH Open0921.03040OpenAlexW2056757044MaRDI QIDQ1127836
Author name not available (Why is that?)
Publication date: 10 August 1998
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530050119
No records found.
No records found.
This page was built for publication: Elimination of algorithmic quantifiers for ordered differential algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1127836)
