Fuzzy term-rewriting system
From MaRDI portal
Publication:1182011
DOI10.1016/0165-0114(91)90028-OzbMATH Open0744.03026MaRDI QIDQ1182011FDOQ1182011
Churn-Jung Liau, Bertrand I-peng Lin
Publication date: 27 June 1992
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
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
pattern recognitionequational theoryfuzzy equality in first order logicfuzzy recognition algorithmFuzzy term rewriting systems
Pattern recognition, speech recognition (68T10) Fuzzy logic; logic of vagueness (03B52) Grammars and rewriting systems (68Q42)
Cites Work
- Title not available (Why is that?)
- Orderings for term-rewriting systems
- A complete proof of correctness of the Knuth-Bendix completion algorithm
- Title not available (Why is that?)
- Title not available (Why is that?)
- Refutational theorem proving using term-rewriting systems
- Title not available (Why is that?)
- Rewrite method for theorem proving in first order theory with equality
- Fuzzy Logic and the Resolution Principle
- Title not available (Why is that?)
- A Technique for Establishing Completeness Results in Theorem Proving with Equality
- Fuzzy and probability uncertainty logics
- Title not available (Why is that?)
Cited In (2)
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)
