Author

Profile picture
Joseph Goguen
Department of Computer Science & Engineering, University of California
San Diego, United States of America
1 article 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

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

OK