Pages that link to "Item:Q908692"
From MaRDI portal
The following pages link to Non-negative integer basis algorithms for linear equations with integer coefficients (Q908692):
Displaying 5 items.
- An algebraic approach to unification under associativity and commutativity (Q1099654) (← links)
- Proving geometry theorems with rewrite rules (Q1101255) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- AC-Termination of rewrite systems: A modified Knuth-Bendix ordering (Q5096208) (← links)
