scientific article; zbMATH DE number 877755

MaRDI QIDQ4877448zbMATH OpenFDO

Authors

Publication date 16 July 1996

zbMATH Keywords

meta-languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• First order meta theories
• scientific article; zbMATH DE number 5545149
• Metamathematical fundamental concepts of computer programming
• Formal languages in logic. A philosophical and cognitive analysis

Cited in

(6)

• MetaSoft primer. Towards a metalanguage for applied denotational semantics
• Theory of \(M\)-system
• What do we mean when we talk of object-language and metalanguage in theory of natural languages?
• First order meta theories
• scientific article; zbMATH DE number 1755555 (Why is no real title available?)
• Representing structural language features in formal meta-languages

Describes a project that uses

Uses Software

• METATEM

This page was built for publication:

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