( en | de | ru )

 

Disambiguation of "Mason, Ian A."

Author of the publication

copydeleteadd this publication to your clipboard
References, Local Variables and Operational Reasoning

, and . LICS, page 186-197. IEEE Computer Society, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Eudo Colecestra Mason

Robert Mason

Alex Mason

David Mason

Julian Mason

 

Other publications of authors with the same name

ClusterGrind: Valgrinding LAM/MPI Applications., and . PVM/MPI, volume 3666 of Lecture Notes in Computer Science, page 325-332. Springer, (2005)Reasoning about effects: from lists to cyber-physical agents., and . Logical Methods in Computer Science, (2019)A Theory of Classes for a Functional Language with Effects., , , and . CSL, volume 702 of Lecture Notes in Computer Science, page 309-326. Springer, (1992)References, Local Variables and Operational Reasoning, and . LICS, page 186-197. IEEE Computer Society, (1992)Axiomatizing Operational Equivalence in the Presence of Side Effects, and . LICS, page 284-293. IEEE Computer Society, (1989)Extraction of events from 3D volumes of seismic data., , , and . ICPR (3), page 128-130. IEEE, (1994)Seismic Time Section Analysis Using Machine Vision., , and . BMVC, page 1-10. BMVA Press, (1993)Propositional Logic of Context, and . AAAI93, (1993)Reasoning about effects: from lists to cyber-physical agents., and . CoRR, (2018)Reasoning About Programs with Effects., and . PLILP, volume 456 of Lecture Notes in Computer Science, page 189-203. Springer, (1990)