scientific article; zbMATH DE number 1101591

MaRDI QIDQ4371013zbMATH OpenFDO

Authors Ingbert Kupka

Publication date 23 March 1998

zbMATH Keywords

complete latticescontraction propertieslinear equations of formal languagesmetricrecursive definitionsrecursive program descriptionsuniqueness of equationally defined context-free languagesuniqueness of fixed points

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• On the fixpoints of nondeterministic recursive definitions
• scientific article; zbMATH DE number 2087210
• scientific article; zbMATH DE number 1752463
• Fixpoint semantics and simulation

Cited in

(1)

• Solutions of equations in languages

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