Omitting Quantifier-Free Types in Generic Structures. - Angus Macintyre (J. Symb. Log., 1972)

The Word Problem for Division Rings. - Angus Macintyre (J. Symb. Log., 1973)

On Definable Subsets of p-Adic Fields. - Angus Macintyre (J. Symb. Log., 1976)

Decision Problems for Exponential Rings: The p-adic case. - Angus Macintyre (FCT, 1983)

Primes and Their Residue Rings in Models of Open Induction. - Angus Macintyre; David Marker (Ann. Pure Appl. Log., 1989)

Rationality of p-adic Poincaré Series: Uniformity in p. - Angus Macintyre (Ann. Pure Appl. Log., 1990)

Schanuel's Conjecture and Free Exponential Rings. - Angus Macintyre (Ann. Pure Appl. Log., 1991)

Finiteness results for sigmoidal "neural" networks. - Angus Macintyre; Eduardo D. Sontag (STOC, 1993)

On the Elimination of Imaginaries from Certain Valued Fields. - Philip Scowcroft; Angus Macintyre (Ann. Pure Appl. Log., 1993)

Polynomial Bounds for VC Dimension of Sigmoidal Neural Networks - Marek Karpinski; Angus Macintyre (Electron. Colloquium Comput. Complex., 1994)

Bounding VC-dimension of neural networks: Progress and prospects. - Marek Karpinski; Angus Macintyre (EuroCOLT, 1995)

VC Dimension of Sigmoidal and General Pfaffian Networks - Marek Karpinski; Angus Macintyre (Electron. Colloquium Comput. Complex., 1995)

Approximating the Volume of General Pfaffian Bodies. - Marek Karpinski; Angus Macintyre (Structures in Logic and Computer Science, 1997)

Generic Automorphisms of Fields. - Angus Macintyre (Ann. Pure Appl. Log., 1997)

Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks. - Marek Karpinski; Angus Macintyre (J. Comput. Syst. Sci., 1997)

Logarithmic-exponential series. - Lou van den Dries; Angus Macintyre; David Marker (Ann. Pure Appl. Log., 2001)

Model theory: Geometrical and set-theoretic aspects and prospects. - Angus Macintyre (Bull. Symb. Log., 2003)

Free abelian lattice-ordered groups. - Andrew M. W. Glass; Angus Macintyre; Françoise Point (Ann. Pure Appl. Log., 2005)

Preface. - Ruy J. G. B. de Queiroz; Angus Macintyre; Guilherme Bittencourt (WoLLIC, 2005)

Quadratic forms in models of IDelta0+Omega1. I. - Paola D'Aquino; Angus Macintyre (Ann. Pure Appl. Log., 2007)

Logic, Language, Information and Computation. - Ruy J. G. B. de Queiroz; Angus Macintyre (Ann. Pure Appl. Log., 2008)

Model theory of exponentials on Lie algebras. - Angus Macintyre (Math. Struct. Comput. Sci., 2008)

Exponentiations over the universal enveloping algebra of sl2(C). - Sonia L'Innocente; Angus Macintyre; Françoise Point (Ann. Pure Appl. Log., 2010)

Quadratic forms in models of IΔ0+Ω1, Part II: Local equivalence. - Paola D'Aquino; Angus Macintyre (Ann. Pure Appl. Log., 2011)

Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields. - Raf Cluckers; Jamshid Derakhshan; Eva Leenknegt; Angus Macintyre (Ann. Pure Appl. Log., 2013)

Some supplements to Feferman-Vaught related to the model theory of adeles. - Jamshid Derakhshan; Angus Macintyre (Ann. Pure Appl. Log., 2014)

Erratum to "Free abelian lattice-ordered groups" [Ann. Pure Appl. Logic 134 (2-3) (2005) 265-283]. - Andrew M. W. Glass; Angus Macintyre; Françoise Point (Ann. Pure Appl. Log., 2016)

Turing meets Schanuel. - Angus Macintyre (Ann. Pure Appl. Log., 2016)

Model Theory of Some Local Rings. - Paola D'Aquino; Angus Macintyre (FLAP, 2017)

Model theory of adeles I. - Jamshid Derakhshan; Angus Macintyre (Ann. Pure Appl. Log., 2022)

Investigating image-based fallow weed detection performance on Raphanus sativus and Avena sativa at speeds up to 30 km h-1. - Guy R. Y. Coleman; Angus Macintyre; Michael J. Walsh; William T. Salter (CoRR, 2023)

Investigating image-based fallow weed detection performance on Raphanus sativus and Avena sativa at speeds up to 30 km h-1. - Guy R. Y. Coleman; Angus Macintyre; Michael J. Walsh; William T. Salter (Comput. Electron. Agric., 2023)