Representing structural language features in formal meta-languages

DOI10.1007/978-3-030-53518-6_13MaRDI QIDQ2219401zbMATH OpenOpenAlexFDO

Authors Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase

Publication date 20 January 2021

Full work available at URL https://doi.org/10.1007/978-3-030-53518-6_13

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical knowledge management (68V30)

Recommendations

• Adding Metalogic Features to Knowledge Representation Languages*
• Computational and attribute models of formal languages
• scientific article; zbMATH DE number 877755
• scientific article; zbMATH DE number 5545149
• SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
• Inferring descriptive generalisations of formal languages
• A FORMALISM FOR REPRESENTING AND REASONING WITH LINGUISTIC INFORMATION
• On the semantic equivalence of language syntax formalisms
• Formal models for some features of programming languages

Cited in

(5)

• Experiences from exporting major proof assistant libraries
• A new export of the Mizar mathematical library
• Adding Metalogic Features to Knowledge Representation Languages*
• scientific article; zbMATH DE number 7756106 (Why is no real title available?)
• Injecting formal mathematics into LaTeX

This page was built for publication: Representing structural language features in formal meta-languages

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