scientific article
From MaRDI portal
Publication:3778729
zbMath0638.03029MaRDI QIDQ3778729
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model-theoretic algebra (03C60) Abstract differential equations (12H20) Ordered fields (12J15) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (2)
Dynamical recognizers: real-time language recognition by analog computers ⋮ Constrained extensions of real type
This page was built for publication:
