scientific article

zbMATH Open0554.12009MaRDI QIDQ3216749FDOQ3216749

Angus Macintyre

Publication date: 1985

Title of this publication is not available (Why is that?)

zbMATH Keywords

indicesrecursive algorithmexponential polynomialfrequenciesp-adic functions

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Other constructive mathematics (03F65) Decidability and field theory (12L05) Algebraic number theory: local fields (11S99)

Cited In (2)

• Title not available (Why is that?)
• Zero counting for a class of univariate Pfaffian functions

This page was built for publication:

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