default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAngus Macintyre
Person information
- affiliation: Queen Mary University of London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j24]Guy R. Y. Coleman, Angus Macintyre, Michael J. Walsh, William T. Salter:
Investigating image-based fallow weed detection performance on Raphanus sativus and Avena sativa at speeds up to 30 km h-1. Comput. Electron. Agric. 215: 108419 (2023)- [i3]Guy R. Y. Coleman, Angus Macintyre, Michael J. Walsh, William T. Salter:
Investigating image-based fallow weed detection performance on Raphanus sativus and Avena sativa at speeds up to 30 km h-1. CoRR abs/2305.10311 (2023) - 2022
- [j23]Jamshid Derakhshan, Angus Macintyre
:
Model theory of adeles I. Ann. Pure Appl. Log. 173(3): 103074 (2022)
2010 – 2019
- 2017
- [j22]Paola D'Aquino, Angus Macintyre:
Model Theory of Some Local Rings. FLAP 4(4) (2017) - 2016
- [j21]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): 431-433 (2016) - [j20]Angus Macintyre:
Turing meets Schanuel. Ann. Pure Appl. Log. 167(10): 901-938 (2016) - 2014
- [j19]Jamshid Derakhshan, Angus Macintyre:
Some supplements to Feferman-Vaught related to the model theory of adeles. Ann. Pure Appl. Log. 165(11): 1639-1679 (2014) - 2013
- [j18]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): 1236-1246 (2013) - 2011
- [j17]Paola D'Aquino, Angus Macintyre:
Quadratic forms in models of IΔ0+Ω1, Part II: Local equivalence. Ann. Pure Appl. Log. 162(6): 447-456 (2011) - 2010
- [j16]Sonia L'Innocente, Angus Macintyre, Françoise Point:
Exponentiations over the universal enveloping algebra of sl2(C). Ann. Pure Appl. Log. 161(12): 1565-1580 (2010)
2000 – 2009
- 2008
- [j15]Ruy J. G. B. de Queiroz, Angus Macintyre:
Logic, Language, Information and Computation. Ann. Pure Appl. Log. 152(1-3): 1-2 (2008) - [j14]Angus Macintyre:
Model theory of exponentials on Lie algebras. Math. Struct. Comput. Sci. 18(1): 189-204 (2008) - 2007
- [j13]Paola D'Aquino, Angus Macintyre:
Quadratic forms in models of IDelta0+Omega1. I. Ann. Pure Appl. Log. 148(1-3): 31-48 (2007) - 2006
- [e1]Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt:
Proceedings of the 12th Workshop on Logic, Language, Information and Computation, WoLLIC 2005, Florianópolis, Santa Catarina, Brazil, July 19-22, 2005. Electronic Notes in Theoretical Computer Science 143, Elsevier 2006 [contents] - 2005
- [j12]Andrew M. W. Glass, Angus Macintyre, Françoise Point:
Free abelian lattice-ordered groups. Ann. Pure Appl. Log. 134(2-3): 265-283 (2005) - [c6]Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt:
Preface. WoLLIC 2005: 1-4 - 2003
- [j11]Angus Macintyre:
Model theory: Geometrical and set-theoretic aspects and prospects. Bull. Symb. Log. 9(2): 197-212 (2003) - 2001
- [j10]Lou van den Dries, Angus Macintyre, David Marker:
Logarithmic-exponential series. Ann. Pure Appl. Log. 111(1-2): 61-113 (2001)
1990 – 1999
- 1997
- [j9]Angus Macintyre:
Generic Automorphisms of Fields. Ann. Pure Appl. Log. 88(2-3): 165-180 (1997) - [j8]Marek Karpinski, Angus Macintyre:
Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks. J. Comput. Syst. Sci. 54(1): 169-176 (1997) - [c5]Marek Karpinski, Angus Macintyre:
Approximating the Volume of General Pfaffian Bodies. Structures in Logic and Computer Science 1997: 162-173 - 1995
- [c4]Marek Karpinski, Angus Macintyre:
Bounding VC-dimension of neural networks: Progress and prospects. EuroCOLT 1995: 337-341 - [c3]Marek Karpinski, Angus Macintyre:
Polynomial bounds for VC dimension of sigmoidal neural networks. STOC 1995: 200-208 - [i2]Marek Karpinski, Angus Macintyre:
VC Dimension of Sigmoidal and General Pfaffian Networks. Electron. Colloquium Comput. Complex. TR95 (1995) - 1994
- [i1]Marek Karpinski, Angus Macintyre:
Polynomial Bounds for VC Dimension of Sigmoidal Neural Networks. Electron. Colloquium Comput. Complex. TR94 (1994) - 1993
- [j7]Philip Scowcroft, Angus Macintyre:
On the Elimination of Imaginaries from Certain Valued Fields. Ann. Pure Appl. Log. 61(3): 241-276 (1993) - [c2]Angus Macintyre, Eduardo D. Sontag:
Finiteness results for sigmoidal "neural" networks. STOC 1993: 325-334 - 1991
- [j6]Angus Macintyre:
Schanuel's Conjecture and Free Exponential Rings. Ann. Pure Appl. Log. 51(3): 241-246 (1991) - 1990
- [j5]Angus Macintyre:
Rationality of p-adic Poincaré Series: Uniformity in p. Ann. Pure Appl. Log. 49(1): 31-74 (1990)
1980 – 1989
- 1989
- [j4]Angus Macintyre, David Marker:
Primes and Their Residue Rings in Models of Open Induction. Ann. Pure Appl. Log. 43(1): 57-77 (1989) - 1983
- [c1]Angus Macintyre:
Decision Problems for Exponential Rings: The p-adic case. FCT 1983: 285-289
1970 – 1979
- 1976
- [j3]Angus Macintyre:
On Definable Subsets of p-Adic Fields. J. Symb. Log. 41(3): 605-610 (1976) - 1973
- [j2]Angus Macintyre:
The Word Problem for Division Rings. J. Symb. Log. 38(3): 428-436 (1973) - 1972
- [j1]Angus Macintyre:
Omitting Quantifier-Free Types in Generic Structures. J. Symb. Log. 37(3): 512-520 (1972)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
