A fixed-point semantics for feature type systems

DOI10.1007/3-540-54317-1_106MaRDI QIDQ5881298zbMATH OpenOpenAlexFDO

Authors

Publication date 9 March 2023

Published in Conditional and Typed Rewriting Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54317-1_106

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3921948
• Greatest model semantics for typed feature structures
• scientific article; zbMATH DE number 3938562
• scientific article; zbMATH DE number 16188
• A complete and recursive feature theory

Cites work

• A Powerdomain Construction
• An algebraic semantics approach to the effective resolution of type equations
• Power domains

Cited in

(3)

• scientific article; zbMATH DE number 3921948 (Why is no real title available?)
• Feedback, trace and fixed-point semantics
• Greatest model semantics for typed feature structures

This page was built for publication: A fixed-point semantics for feature type systems

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