Towards a theory of document structure

MaRDI QIDQ3400633zbMATH OpenFDO

Authors Bengt Nordström

Publication date 5 February 2010

zbMATH Keywords

abstract syntax tree

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Narrative Structure of Mathematical Texts
• scientific article; zbMATH DE number 559219
• An approach to literate and structured formal developments
• Derivation of a parsing algorithm in Martin-Löf's theory of types
• Cut and paste

Cited in

(6)

• The structure of content is not transparent
• Container model
• Narrative Structure of Mathematical Texts
• scientific article; zbMATH DE number 1670885 (Why is no real title available?)
• Hazelnut: a bidirectionally typed structure editor calculus
• scientific article; zbMATH DE number 1755608 (Why is no real title available?)

This page was built for publication: Towards a theory of document structure

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