Grigore Rosu
Department of Computer Science & Engineering, University of California, USA

---

	M. d'Amorim, G. Rosu: An Equational Specification for the Scheme Language /jucs_11_7/an_equational_specification_for	page 1327 - 1348 Vol.11 / Issue 7
	G. Rosu: Kan Extensions of Institutions /jucs_5_8/kan_extensions_of_institutions	page 482 - 493 Vol.5 / Issue 8
	G. Rosu, J. Goguen: On Equational Craig Interpolation /jucs_6_1/on_equational_craig_interpolation	page 194 - 200 Vol.6 / Issue 1
	V. Emil Cazanescu, G. Rosu: Weak Inclusion Systems: Part Two /jucs_6_1/weak_inclusion_system_part	page 5 - 21 Vol.6 / Issue 1