Pages that link to "Item:Q1103414"
From MaRDI portal
The following pages link to History and basic features of the critical-pair/completion procedure (Q1103414):
Displaying 25 items.
- Automated proof of ring commutativity problems by algebraic methods (Q912612) (← links)
- Automated inferencing (Q1070835) (← links)
- Unification theory (Q1124375) (← links)
- Some experiments with a completion theorem prover (Q1186705) (← links)
- A field guide to equational logic (Q1201350) (← links)
- How to decide the lark (Q1208736) (← links)
- A categorical critical-pair completion algorithm (Q1300576) (← links)
- Parallel dynamic semantics of sequential programs with speculative and incremental computation (Q1364092) (← links)
- A survey on signature-based algorithms for computing Gröbner bases (Q1711995) (← links)
- Some categories associated with bases of the Kalman algebra (Q1762279) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- Parallelization of the Buchberger algorithm (Q1907790) (← links)
- Convergent presentations and polygraphic resolutions of associative algebras (Q2272945) (← links)
- Reduction operators and completion of rewriting systems (Q2399863) (← links)
- Algorithmic operator algebras via normal forms in tensor rings (Q2409019) (← links)
- Locking-free compressible quadrilateral finite elements: Poisson's ratio-dependent vector interpolants (Q2435352) (← links)
- Gröbner-Shirshov bases for the non-symmetric operads of dendriform algebras and quadri-algebras (Q2437288) (← links)
- Abstract canonical presentations (Q2500482) (← links)
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work (Q3294886) (← links)
- Noncommutative Gröbner Bases: Applications and Generalizations (Q3294889) (← links)
- Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I (Q3839878) (← links)
- An equational logic sampler (Q5055725) (← links)
- From LP to LP: Programming with constraints (Q5096231) (← links)
- Buchberger's algorithm: A constraint-based completion procedure (Q5096314) (← links)
- Gröbner–Shirshov bases and their calculation (Q5172855) (← links)
