A. Michael Ballantyne

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1991

3 A. Michael Ballantyne: The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 61-76

1984

2 Dallas Lankford, Gregory Butler II, A. Michael Ballantyne: A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups. CADE 1984: 128-141

1977

1 A. Michael Ballantyne, W. W. Bledsoe: Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques. J. ACM 24(3): 353-374 (1977)

	1991
3		A. Michael Ballantyne: The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 61-76
	1984
2		Dallas Lankford, Gregory Butler II, A. Michael Ballantyne: A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups. CADE 1984: 128-141
	1977
1		A. Michael Ballantyne, W. W. Bledsoe: Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques. J. ACM 24(3): 353-374 (1977)

Coauthor Index

1 W. W. Bledsoe [1]

2 Gregory Butler II [2]

3 Dallas Lankford [2]

Colors in the list of coauthors