Výsledky vyhledávání - "Knuth-Bendix Algorithm"
-
1
A Path-Deformation Framework for Determining Weighted Genome Rearrangement Distance
ISSN: 1664-8021, 1664-8021Vydáno: Frontiers Media S.A 24.09.2020Vydáno 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ískat plný text
Journal Article -
2
A Path-Deformation Framework for Determining Weighted Genome Rearrangement Distance
ISSN: 1664-8021Vydáno: Frontiers Media SA 24.09.2020Vydáno v Frontiers in Genetics (24.09.2020)Získat plný text
Journal Article -
3
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
ISSN: 1898-9934, 1426-2630, 1898-9934Vydáno: Bialystok Sciendo 30.03.2014Vydáno v Formalized mathematics (30.03.2014)“…Educational content for abstract reduction systems concerning reduction, convertibility, normal forms, divergence and convergence, Church- Rosser property,…”
Získat plný text
Journal Article -
4
Efficiency issues in the kbmag procedure
ISSN: 1567-8326Vydáno: 01.11.2011Vydáno v The journal of logic and algebraic programming (01.11.2011)Získat plný text
Journal Article -
5
Declarative Representation of Algorithms of Completion by Critical Pairs
ISSN: 1060-0396, 1573-8337Vydáno: New York Springer Nature B.V 01.11.2001Vydáno 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ískat plný text
Journal Article