Search results
From MaRDI portal
- Complete equational unification based on an extension of the Knuth-Bendix completion procedure 2023-08-14 Paper On a combination of the cyclic Nimhoff and...10 bytes (16 words) - 15:40, 12 December 2023
- unification 2022-12-09 Paper It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair 2022-08-16 Paper Algorithmic problems...10 bytes (16 words) - 11:53, 8 December 2023
- Paper Only prime superpositions need be considered in the Knuth-Bendix completion procedure 1988-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3819992...10 bytes (19 words) - 00:27, 13 December 2023
- Publication Date of Publication Type It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair 2022-08-16 Paper Semi-unification...10 bytes (16 words) - 18:43, 6 October 2023
- Complete equational unification based on an extension of the Knuth-Bendix completion procedure 2023-08-14 Paper https://portal.mardi4nfdi.de/entity/Q2844931...10 bytes (16 words) - 02:38, 7 October 2023
- Paper Only prime superpositions need be considered in the Knuth-Bendix completion procedure 1988-01-01 Paper Problem corner: Proving equivalence of different...10 bytes (17 words) - 17:54, 11 December 2023
- AC-KBO Revisited 2014-07-24 Paper Multi-completion with termination tools 2013-07-05 Paper Ordinals and Knuth-Bendix Orders 2012-06-15 Paper https://portal...10 bytes (16 words) - 03:19, 25 September 2023
- mardi4nfdi.de/entity/Q4418639 2003-08-11 Paper Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings 2003-06-09 Paper https://portal...10 bytes (16 words) - 11:32, 7 October 2023
- libre 1985-01-01 Paper About the rewriting systems produced by the Knuth-Bendix completion algorithm 1983-01-01 Paper...10 bytes (16 words) - 00:32, 10 December 2023
- Paper Stratified resolution 2003-08-25 Paper Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings 2003-06-09 Paper Induction...10 bytes (16 words) - 03:55, 25 September 2023
- Verification Based on Kleene Algebra in Isabelle/HOL 2013-08-07 Paper Knuth-Bendix Completion for Non-Symmetric Transitive Relations 2013-07-24 Paper Modelling...10 bytes (16 words) - 19:44, 6 October 2023
- Publication date: 18 January 1999 zbMATH Keywords rewriting system; Knuth-Bendix completion procedure Mathematics Subject Classification ID 68Q42: Grammars and rewriting...15 bytes (27 words) - 15:55, 6 February 2024
- Madlener Publication date: 27 August 1995 zbMATH Keywords Knuth-Bendix completion procedure; Thue congruences Mathematics Subject Classification ID 68Q45:...15 bytes (29 words) - 21:06, 6 February 2024
- Keywords PROLOG; confluence; termination; term rewriting systems; Knuth-Bendix completion procedure; programming environment Mathematics Subject Classification...15 bytes (32 words) - 08:49, 5 February 2024
- date: 1986 zbMATH Keywords rewriting; inductionless induction; Knuth-Bendix completion procedure; ground-confluence property Mathematics Subject Classification...15 bytes (38 words) - 10:58, 5 February 2024
- theories; sufficient completeness; inductionless induction; Knuth-Bendix completion procedure; proof by induction Mathematics Subject Classification ID DB...15 bytes (42 words) - 14:16, 5 February 2024
- zbMATH Keywords term-rewriting systems; divergence process; Knuth-Bendix completion procedure Mathematics Subject Classification ID 68Q42: Grammars and rewriting...15 bytes (50 words) - 18:15, 30 January 2024
- Publication date: 1986 zbMATH Keywords algorithm; polynomial ring; Knuth-Bendix completion procedure; computing a standard basis Mathematics Subject Classification...15 bytes (53 words) - 16:47, 5 February 2024
- 1016/0304-3975(86)90114-3 zbMATH Keywords Horn clauses; equality problem; Knuth-Bendix completion procedure; nonequational theories Mathematics Subject Classification...15 bytes (61 words) - 02:04, 31 January 2024
- 1137/0217039 zbMATH Keywords termination; equational theories; Knuth-Bendix completion procedure; term-rewriting system modulo a congruence Mathematics Subject...15 bytes (61 words) - 15:38, 5 February 2024
