Using and parsing the Mizar language

MaRDI QIDQ2847392zbMATH OpenFDO

Authors Paul Cairns, Jeremy Gow

Publication date 9 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104000131

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42)

Recommendations

• New Developments in Parsing Mizar
• Accessing the Mizar library with a weakly strict Mizar parser
• Parsing languages by pattern matching
• MRG parser for visual languages
• On rewriting rules in Mizar
• Parsing MELL proof nets
• scientific article; zbMATH DE number 444435
• Managing and using mixed computations for the systematic construction of language-oriented parsers

Cited in

(9)

• Flexary connectives in Mizar
• Accessing the Mizar library with a weakly strict Mizar parser
• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
• The language of formal mathematics Russell
• New Developments in Parsing Mizar
• Tentative experiments with ellipsis in Mizar
• A Brief Overview of Mizar
• Mathematical Knowledge Management
• An example of formalizing recent mathematical results in MIZAR

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Using and parsing the Mizar language

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