Výsledky vyhľadávania - "Knuth-Bendix algorithm"
-
1
A Path-Deformation Framework for Determining Weighted Genome Rearrangement Distance
ISSN: 1664-8021, 1664-8021Vydavateľské údaje: Frontiers Media S.A 24.09.2020Vydané v Frontiers in genetics (24.09.2020)“…Measuring the distance between two bacterial genomes under the inversion process is usually done by assuming all inversions to occur with equal probability…”
Získať plný text
Journal Article -
2
A Path-Deformation Framework for Determining Weighted Genome Rearrangement Distance
ISSN: 1664-8021Vydavateľské údaje: Frontiers Media SA 24.09.2020Vydané v Frontiers in Genetics (24.09.2020)Získať plný text
Journal Article -
3
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
ISSN: 1898-9934, 1426-2630, 1898-9934Vydavateľské údaje: Bialystok Sciendo 30.03.2014Vydané v Formalized mathematics (30.03.2014)“…Educational content for abstract reduction systems concerning reduction, convertibility, normal forms, divergence and convergence, Church- Rosser property,…”
Získať plný text
Journal Article -
4
Efficiency issues in the kbmag procedure
ISSN: 1567-8326Vydavateľské údaje: 01.11.2011Vydané v The journal of logic and algebraic programming (01.11.2011)Získať plný text
Journal Article -
5
Declarative Representation of Algorithms of Completion by Critical Pairs
ISSN: 1060-0396, 1573-8337Vydavateľské údaje: New York Springer Nature B.V 01.11.2001Vydané v Cybernetics and systems analysis (01.11.2001)“…A declarative representation of critical pairs for completion algorithms is described. The representation can be considered as a generic program that, after…”
Získať plný text
Journal Article