dblp.uni-trier.dewww.uni-trier.de

M. D. Gladstone

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1971
4 M. D. Gladstone: Simplifications of the Recursion Scheme. J. Symb. Log. 36(4): 653-665 (1971)
1967
3 M. D. Gladstone: A Reduction of the Recursion Scheme. J. Symb. Log. 32(4): 505-508 (1967)
1966
2 M. D. Gladstone: Finite Models for Inequations. J. Symb. Log. 31(4): 581-592 (1966)
1964
1 John C. Shepherdson, S. Korner, M. D. Gladstone: Meeting of the Association for Symbolic Logic. J. Symb. Log. 29(4): 218-228 (1964)

Coauthor Index

1S. Korner [1]
2John C. Shepherdson [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)