J.Bicarregui, T.Dimitrakos, D.Gabbay, T.Maibaum. Interpolation in Practical Formal Development. Logic Journal of the IGPL, 9, no. 2 (2001), 247-259. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Restricted Interpolation in Modal Logics - Maksimova (Correct)
No context found.
J.Bicarregui, T.Dimitrakos, D.Gabbay, T.Maibaum. Interpolation in Practical Formal Development. Logic Journal of the IGPL, 9, no. 2 (2001), 247-259.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC