| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paola D'Aquino, Angus Macintyre |
Quadratic forms in models of IΔ0+Ω1, Part II: Local equivalence.  |
Ann. Pure Appl. Logic  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia L'Innocente, Angus Macintyre, Françoise Point |
Exponentiations over the universal enveloping algebra of sl2(C). |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Angus Macintyre |
Model theory of exponentials on Lie algebras. |
Mathematical Structures in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Angus Macintyre |
Logic, Language, Information and Computation. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola D'Aquino, Angus Macintyre |
Quadratic forms in models of IDelta0+Omega1. I. |
Ann. Pure Appl. Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew M. W. Glass, Angus Macintyre, Françoise Point |
Free abelian lattice-ordered groups. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Angus Macintyre |
Model theory: Geometrical and set-theoretic aspects and prospects. |
Bulletin of Symbolic Logic |
2003 |
DBLP BibTeX RDF |
|
| 1 | Lou van den Dries, Angus Macintyre, David Marker |
Logarithmic-exponential series. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Angus Macintyre |
Generic Automorphisms of Fields. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Karpinski, Angus Macintyre |
Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks. |
J. Comput. Syst. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Karpinski, Angus Macintyre |
Approximating the Volume of General Pfaffian Bodies. |
Structures in Logic and Computer Science |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Karpinski, Angus Macintyre |
VC Dimension of Sigmoidal and General Pfaffian Networks |
Electronic Colloquium on Computational Complexity (ECCC) |
1995 |
DBLP BibTeX RDF |
|
| 1 | Marek Karpinski, Angus Macintyre |
Bounding VC-dimension of neural networks: Progress and prospects. |
EuroCOLT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Karpinski, Angus Macintyre |
Polynomial bounds for VC dimension of sigmoidal neural networks. |
STOC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Karpinski, Angus Macintyre |
Polynomial Bounds for VC Dimension of Sigmoidal Neural Networks |
Electronic Colloquium on Computational Complexity (ECCC) |
1994 |
DBLP BibTeX RDF |
|
| 1 | Philip Scowcroft, Angus Macintyre |
On the Elimination of Imaginaries from Certain Valued Fields. |
Ann. Pure Appl. Logic |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Angus Macintyre, Eduardo D. Sontag |
Finiteness results for sigmoidal "neural" networks. |
STOC |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Angus Macintyre |
Schanuel's Conjecture and Free Exponential Rings. |
Ann. Pure Appl. Logic |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Angus Macintyre |
Rationality of p-adic Poincaré Series: Uniformity in p. |
Ann. Pure Appl. Logic |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Angus Macintyre, David Marker |
Primes and Their Residue Rings in Models of Open Induction. |
Ann. Pure Appl. Logic |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Angus Macintyre |
Decision Problems for Exponential Rings: The p-adic case. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Angus Macintyre |
On Definable Subsets of p-Adic Fields. |
J. Symb. Log. |
1976 |
DBLP BibTeX RDF |
|
| 1 | Angus Macintyre |
The Word Problem for Division Rings. |
J. Symb. Log. |
1973 |
DBLP BibTeX RDF |
|
| 1 | Angus Macintyre |
Omitting Quantifier-Free Types in Generic Structures. |
J. Symb. Log. |
1972 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")