Fuzzy term-rewriting system
From MaRDI portal
Publication:1182011
Recommendations
- Fuzzy system description language
- Term rewriting systems in logic programming and in functional programming
- scientific article; zbMATH DE number 1760804
- Term Rewriting and Applications
- Fuzzy L-systems
- scientific article; zbMATH DE number 777422
- Fuzzy systems
- Fuzzy equational logic
- Fuzzy equational logic
Cites work
- scientific article; zbMATH DE number 4016226 (Why is no real title available?)
- scientific article; zbMATH DE number 3952003 (Why is no real title available?)
- scientific article; zbMATH DE number 3976991 (Why is no real title available?)
- scientific article; zbMATH DE number 4095388 (Why is no real title available?)
- scientific article; zbMATH DE number 3227055 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- A Technique for Establishing Completeness Results in Theorem Proving with Equality
- A complete proof of correctness of the Knuth-Bendix completion algorithm
- Fuzzy Logic and the Resolution Principle
- Fuzzy and probability uncertainty logics
- Orderings for term-rewriting systems
- Refutational theorem proving using term-rewriting systems
- Rewrite method for theorem proving in first order theory with equality
This page was built for publication: Fuzzy term-rewriting system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1182011)