How to realize LSE narrowing

DOI10.1007/3-540-58431-5_7MaRDI QIDQ4537507zbMATH OpenFDO

Authors Andreas Werner, Alexander Bockmayr, Stefan Krischer

Publication date 1 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58431-5_7

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 794242
• Narrowing directed by a graph of terms
• An optimal narrowing strategy for general canonical systems
• A needed narrowing strategy
• Detecting redundant narrowing derivations by the LSE-SL reducibility test

Cited in

(9)

• A needed narrowing strategy
• scientific article; zbMATH DE number 4090771 (Why is no real title available?)
• An implementation of narrowing
• scientific article; zbMATH DE number 512906 (Why is no real title available?)
• Detecting redundant narrowing derivations by the LSE-SL reducibility test
• Functional and Logic Programming
• scientific article; zbMATH DE number 2221605 (Why is no real title available?)
• Term Rewriting and Applications
• An optimal narrowing strategy for general canonical systems

This page was built for publication: How to realize LSE narrowing

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