A fully formalized theory for describing visual notations

MaRDI QIDQ4251215zbMATH OpenFDO

Authors Volker Haarslev

Publication date 17 June 1999

zbMATH Keywords

visual language theory

Mathematics Subject Classification ID

Logic programming (68N17) Formal languages and automata (68Q45)

Recommendations

• Formal semantics of visual occam
• Computational Science – ICCS 2005
• Algebraic Methodology and Software Technology
• A formal model of visualization in computer graphics systems
• Visual Mathematics: Diagrammatic Formalization and Proof

Cited in

(5)

• The graph-based logic of visual modeling and taming heterogeneity of semantic models
• Constraint matching for diagram design: Qualitative visual languages
• scientific article; zbMATH DE number 2016094 (Why is no real title available?)
• Formal semantics of visual occam
• A Sketch of a Theory and Modelling Notation for Elucidating the Structure of Representations

This page was built for publication: A fully formalized theory for describing visual notations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4251215)