S. S. Wainer

1994
3		W. G. Handley, S. S. Wainer: Equational Derivation vs. Computation. Ann. Pure Appl. Logic 70(1): 17-49 (1994)
1992
2		M. V. H. Fairtlough, S. S. Wainer: Ordinal Complexity of Recursive Definitions Inf. Comput. 99(2): 123-153 (1992)
1990
1		J. V. Tucker, S. S. Wainer, Jeffery I. Zucker: Provable Computable Functions on Abstract Data Types. ICALP 1990: 660-673

Coauthor Index

1	M. V. H. Fairtlough	[2]
2	W. G. Handley	[3]
3	J. V. Tucker (John V. Tucker)	[1]
4	Jeffery I. Zucker	[1]

Colors in the list of coauthors