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

Ursula Gropp

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

1992
2 Ursula Gropp: There Is No Sharp Transitivity on q6 when q Is a Type of Morely Rank 2. J. Symb. Log. 57(4): 1198-1212 (1992)
1988
1 Ursula Gropp: Coinductive Formulas and a Many-Sorted Interpolation Theorem. J. Symb. Log. 53(3): 937-960 (1988)

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