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

George F. Schumm

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

1990
3 George F. Schumm, Stewart Shapiro: Expressive Completeness and Decidability. Notre Dame Journal of Formal Logic 31(4): 576-579 (1990)
1989
2 George F. Schumm: Some Compactness Results for Modal Logic. Notre Dame Journal of Formal Logic 30(2): 285-290 (1989)
1978
1 George F. Schumm: An Incomplete Nonnormal Extension of S3. J. Symb. Log. 43(2): 211-212 (1978)

Coauthor Index

1Stewart Shapiro [3]

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