Angus Macintyre

Publication Activity (10 Years)

Years Active: 1972-2023
Publications (10 Years): 6

Top Topics

Mathematical Framework

Rough Approximations

Statistical Model

Top Venues

Ann. Pure Appl. Log.

Comput. Electron. Agric.

Publications

Guy R. Y. Coleman, Angus Macintyre, Michael J. Walsh, William T. Salter
. Comput. Electron. Agric. 215 (2023)
Guy R. Y. Coleman, Angus Macintyre, Michael J. Walsh, William T. Salter
. CoRR (2023)
Jamshid Derakhshan, Angus Macintyre
Model theory of adeles I. Ann. Pure Appl. Log. 173 (3) (2022)
Paola D'Aquino, Angus Macintyre
Model Theory of Some Local Rings. FLAP 4 (4) (2017)
Andrew M. W. Glass, Angus Macintyre, Françoise Point
Erratum to "Free abelian lattice-ordered groups" [Ann. Pure Appl. Logic 134 (2-3) (2005) 265-283]. Ann. Pure Appl. Log. 167 (4) (2016)
Angus Macintyre
Turing meets Schanuel. Ann. Pure Appl. Log. 167 (10) (2016)
Jamshid Derakhshan, Angus Macintyre
Some supplements to Feferman-Vaught related to the model theory of adeles. Ann. Pure Appl. Log. 165 (11) (2014)
Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt, Angus Macintyre
Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields. Ann. Pure Appl. Log. 164 (12) (2013)
Paola D'Aquino, Angus Macintyre
, Part II: Local equivalence. Ann. Pure Appl. Log. 162 (6) (2011)
Sonia L'Innocente, Angus Macintyre, Françoise Point
(C). Ann. Pure Appl. Log. 161 (12) (2010)
Angus Macintyre
Model theory of exponentials on Lie algebras. Math. Struct. Comput. Sci. 18 (1) (2008)
Ruy J. G. B. de Queiroz, Angus Macintyre
Logic, Language, Information and Computation. Ann. Pure Appl. Log. 152 (1-3) (2008)
Paola D'Aquino, Angus Macintyre
. I. Ann. Pure Appl. Log. 148 (1-3) (2007)
Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt
Preface. Electron. Notes Theor. Comput. Sci. 143 (2006)
Andrew M. W. Glass, Angus Macintyre, Françoise Point
Free abelian lattice-ordered groups. Ann. Pure Appl. Log. 134 (2-3) (2005)
Angus Macintyre
Model theory: Geometrical and set-theoretic aspects and prospects. Bull. Symb. Log. 9 (2) (2003)
Lou van den Dries, Angus Macintyre, David Marker
Logarithmic-exponential series. Ann. Pure Appl. Log. 111 (1-2) (2001)
Marek Karpinski, Angus Macintyre
Approximating the Volume of General Pfaffian Bodies. Structures in Logic and Computer Science (1997)
Angus Macintyre
Generic Automorphisms of Fields. Ann. Pure Appl. Log. 88 (2-3) (1997)
Marek Karpinski, Angus Macintyre
Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks. J. Comput. Syst. Sci. 54 (1) (1997)
Marek Karpinski, Angus Macintyre
Polynomial bounds for VC dimension of sigmoidal neural networks. STOC (1995)
Marek Karpinski, Angus Macintyre
Bounding VC-dimension of neural networks: Progress and prospects. EuroCOLT (1995)
Marek Karpinski, Angus Macintyre
VC Dimension of Sigmoidal and General Pfaffian Networks Electron. Colloquium Comput. Complex. 2 (55) (1995)
Marek Karpinski, Angus Macintyre
Polynomial Bounds for VC Dimension of Sigmoidal Neural Networks Electron. Colloquium Comput. Complex. 1 (24) (1994)
Angus Macintyre, Eduardo D. Sontag
Finiteness results for sigmoidal "neural" networks. STOC (1993)
Philip Scowcroft, Angus Macintyre
On the Elimination of Imaginaries from Certain Valued Fields. Ann. Pure Appl. Log. 61 (3) (1993)
Angus Macintyre
Schanuel's Conjecture and Free Exponential Rings. Ann. Pure Appl. Log. 51 (3) (1991)
Angus Macintyre
Rationality of p-adic Poincaré Series: Uniformity in p. Ann. Pure Appl. Log. 49 (1) (1990)
Angus Macintyre, David Marker
Primes and Their Residue Rings in Models of Open Induction. Ann. Pure Appl. Log. 43 (1) (1989)
Angus Macintyre
Decision Problems for Exponential Rings: The p-adic case. FCT (1983)
Angus Macintyre
On Definable Subsets of p-Adic Fields. J. Symb. Log. 41 (3) (1976)
Angus Macintyre
The Word Problem for Division Rings. J. Symb. Log. 38 (3) (1973)
Angus Macintyre
Omitting Quantifier-Free Types in Generic Structures. J. Symb. Log. 37 (3) (1972)