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

M. D. Gladstone Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1971
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. D. Gladstone: Simplifications of the Recursion Scheme. J. Symb. Log. 36(4): 653-665 (1971)
1967
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. D. Gladstone: A Reduction of the Recursion Scheme. J. Symb. Log. 32(4): 505-508 (1967)
1966
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. D. Gladstone: Finite Models for Inequations. J. Symb. Log. 31(4): 581-592 (1966)
1964
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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]

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page