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

R. Gurevic

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

1990
2 R. Gurevic: Equational Theory of Positive Numbers with Exponentiation is Not Finitely Axiomatizable. Ann. Pure Appl. Logic 49(1): 1-30 (1990)
1988
1 R. Gurevic: On Ultracoproducts of Compact Hausdorff Spaces. J. Symb. Log. 53(1): 294-300 (1988)

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