A. Michael Ballantyne

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1991
c2		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
c1		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
j1		A. Michael Ballantyne, W. W. Bledsoe: Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques. J. ACM 24(3): 353-374 (1977)

Coauthor Index

Last update Sun May 26 02:21:36 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page