Visual Reasoning: its Formal Semantics and Applications

• 1 December 1993
• journal article
• Published by Elsevier in Journal of Visual Languages & Computing
• Vol. 4  (4) , 327-356
• https://doi.org/10.1006/jvlc.1993.1020

Abstract

Keywords

• FORMAL SEMANTICS