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:
Research Article
On Equational Craig Interpolation
Grigore Rosu, Joseph Goguen
10.3217/jucs-006-01-0194
 28-01-2000
 Unique: 90 | Total: 116  | Access Period:
 194-200
HTML
XML
PDF
Research Article
Weak Inclusion Systems: Part Two
Virgil Cazanescu, Grigore Rosu
10.3217/jucs-006-01-0005
 28-01-2000
 Unique: 83 | Total: 103  | Access Period:
 5-21
HTML
XML
PDF
Research Article
Kan Extensions of Institutions
Grigore Rosu
10.3217/jucs-005-08-0482
 28-08-1999
 Unique: 70 | Total: 87  | Access Period:
 482-492
HTML
XML
PDF

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

OK