| |
| | Citations: a metalogical framework based on equational logic - Goguen, Stevens, Hobley, Hilberdink (ResearchIndex) (Site not responding. Last check: 2007-11-06) |
 | | Goguen, Joseph, Andrew Stevens, Keith Hobley, and Hendrik Hilberdink, 2OBJ, a metalogical framework based on equational logic, Philosophical Transactions of the Royal Society, Series A, 339 (1992), pp. |
 | | Also in Mechanized Reasoning and Hardware Design, edited by C.A.R. Hoare and M.J.C. Gordon, Prentice-Hall, 1992, pages 69--86. |
 | | Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback |
| citeseer.ist.psu.edu /context/38846/0 (2326 words) |
|