Dynamic interpretation and Hoare deduction

1992

Additional Metadata
MSC	Natural language processing (msc 68T50), Other nonclassical logic (msc 03B60), Logic of natural languages (msc 03B65), Logic in computer science (msc 03B70)
Publisher	Springer
Journal	Journal of Logic, Language and Information
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	van Eijck, J., & de Vries, F.-J. (1992). Dynamic interpretation and Hoare deduction. Journal of Logic, Language and Information, 1(1), 1–44.

Publication