Dynamic Interpretation and Hoare Deduction
Jan Van Eijck and Fer-Jan De VriesVolume:
1
Year:
1992
Language:
english
Journal:
Journal of Logic, Language, and Information
DOI:
10.2307/40180010
File:
PDF, 3.54 MB
english, 1992