Ternary Equational Languages

DOI10.1007/978-3-319-40946-7_7MaRDI QIDQ2830209zbMATH OpenOpenAlexFDO

Authors Zoltán Ésik

Publication date 9 November 2016

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-40946-7_7

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Finitary algebras (08A62)

Recommendations

• Ternary models of operators in register transfer languages
• Equational descriptions of languages
• Equational descriptions of languages
• scientific article; zbMATH DE number 4037157
• Ternary relations and relevant semantics
• scientific article; zbMATH DE number 1899808
• TERNARY t-DEDUCTIVE SYSTEMS
• scientific article; zbMATH DE number 4191131
• An equational theory for trilattices
• scientific article; zbMATH DE number 1487858

Cites work

• scientific article; zbMATH DE number 1318043 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• A Cayley Theorem for Ternary Algebras
• A Characterization of Finite Ternary Algebras
• An analysis of the equational properties of the well-founded fixed point
• BOOLEAN FUZZY SETS
• Boolean grammars
• Conjunctive and Boolean grammars: the true general case of the context-free grammars
• Fixpoint semantics for logic programming a survey
• Free ternary algebras
• INVOLUTED SEMILATTICES AND UNCERTAINTY IN TERNARY ALGEBRAS
• Language equations with complementation: expressive power
• Lattices With Involution
• Outline of a Theory of Truth
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Well-founded semantics for Boolean grammars

Cited in

(2)

• Ternary models of operators in register transfer languages
• The ternary description language as a formalism for the parametric general systems theory: part III

This page was built for publication: Ternary Equational Languages

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