Ursula Gropp

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1992

2 Ursula Gropp: There Is No Sharp Transitivity on q⁶ 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)

	1992
2		Ursula Gropp: There Is No Sharp Transitivity on q⁶ 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)

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page