Complexity of quantifier elimination in the theory of ordinary differentially closed fields
From MaRDI portal
Publication:684955
zbMath0779.03008MaRDI QIDQ684955
Publication date: 15 September 1993
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Model-theoretic algebra (03C60) Complexity of computation (including implicit computational complexity) (03D15) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (1)
This page was built for publication: Complexity of quantifier elimination in the theory of ordinary differentially closed fields