scientific article; zbMATH DE number 559034

MaRDI QIDQ4289049zbMATH OpenFDO

Authors M. De la Sen

Publication date 28 April 1994

zbMATH Keywords

algebraic theoriesaxiomatic logicgrammars

Mathematics Subject Classification ID

Other applications of logic (03B80) Theories (e.g., algebraic theories), structure, and semantics (18C10) Grammars and rewriting systems (68Q42)

Recommendations

• Logical grammars, logical theories
• Grammar specification in categorial logics and theorem proving
• On the relationship between indexed grammars and logic programs
• scientific article; zbMATH DE number 6302922
• scientific article; zbMATH DE number 4204324
• A framework for intuitionistic grammar logics
• scientific article; zbMATH DE number 4168913
• The Complexity of Regularity in Grammar Logics and Related Modal Logics
• From grammars and automata to algebras and coalgebras
• scientific article; zbMATH DE number 1067867

Cited in

(3)

• scientific article; zbMATH DE number 4104929 (Why is no real title available?)
• scientific article; zbMATH DE number 1062935 (Why is no real title available?)
• scientific article; zbMATH DE number 2150294 (Why is no real title available?)

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 Q4289049)