Author

Profile picture
Grigore Rosu
Department of Computer Science & Engineering, University of California
San Diego, United States of America
3 articles by this author
Sort by:
On Equational Craig Interpolation
Research Article
On Equational Craig Interpolation
Grigore Rosu, Joseph Goguen
10.3217/jucs-006-01-0194
 28-01-2000
 Unique: 861 | Total: 1067
 194-200
HTML
XML
PDF
Weak Inclusion Systems: Part Two
Research Article
Weak Inclusion Systems: Part Two
Virgil Cazanescu, Grigore Rosu
10.3217/jucs-006-01-0005
 28-01-2000
 Unique: 1146 | Total: 1362
 5-21
HTML
XML
PDF
Kan Extensions of Institutions
Research Article
Kan Extensions of Institutions
Grigore Rosu
10.3217/jucs-005-08-0482
 28-08-1999
 Unique: 730 | Total: 921
 482-492
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK