scientific article; zbMATH DE number 4164143

MaRDI QIDQ3490956zbMATH OpenFDO

Authors Jia-Huai You

Publication date 1989

zbMATH Keywords

narrowingterm rewriting systemequational language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Symbolic computation and algebraic computation (68W30) Artificial intelligence (68T99) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 3960989
• A class of confluent term rewriting systems and unification
• scientific article; zbMATH DE number 3921947
• scientific article; zbMATH DE number 4031035
• Unification modulo an equality theory for equational logic programming

Cited in

(14)

• scientific article; zbMATH DE number 1255555 (Why is no real title available?)
• Solving language equations using flanked automata
• Solutions to the involution language equation
• scientific article; zbMATH DE number 4123701 (Why is no real title available?)
• Equations in words: An algorithmic contribution
• scientific article; zbMATH DE number 845924 (Why is no real title available?)
• scientific article; zbMATH DE number 7300359 (Why is no real title available?)
• scientific article; zbMATH DE number 7301731 (Why is no real title available?)
• Turning SOS rules into equations
• Solving symbolic equations with PRESS
• Regular substitution sets: A means of controlling E-unification
• scientific article; zbMATH DE number 4060700 (Why is no real title available?)
• scientific article; zbMATH DE number 4090847 (Why is no real title available?)
• An optimal narrowing strategy for general canonical systems

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