scientific article; zbMATH DE number 3995771
From MaRDI portal
Publication:4723808
zbMath0615.10022MaRDI QIDQ4723808
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Holonomic functions and their relation to linearly constrained languages, On the Davenport constant of a two-dimensional box \([\![ -1,1\!] \times [\![ -m,n]\!]\)], Minimal solutions of linear diophantine systems : bounds and algorithms, General solution of systems of linear diophantine equations and inequations, Finding a partial solution to a linear system of equations in positive integers, A note on minimal zero-sum sequences over Z, Efficient solution of linear diophantine equations, Long minimal zero-sum sequences over a finite subset of \(\mathbb{Z}\), Unification properties of commutative theories: A categorical treatment, Avoiding slack variables in the solving of linear diophantine equations and inequations, A polynomial algorithm for solving systems of two linear diophantine equations, An analogue of the Erdős-Ginzburg-Ziv theorem over \(\mathbb{Z}\), AC-unification race: The system solving approach, implementation and benchmarks, AC unification through order-sorted AC1 unification, On the arithmetic of Krull monoids with infinite cyclic class group, Unification in commutative theories, On the complexity of recognizing the Hilbert basis of a linear Diophantine system, Avoiding zero-sum subsequences of prescribed length over the integers, Geometry of the Minimal Solutions of a Linear Diophantine Equation, Elasticities of Krull monoids with infinite cyclic class group, Measuring with jugs