...
机译:线性可达性问题和线性Diophantine方程组的最小解
Model-checking; Timed automata; Reachability; Linear Diophantine equation systems; Minimal solutions;
机译:线性可达性问题和线性Diophantine方程组的最小解
机译:证明线性Diophantine方程组解不存在
机译:构造整数环上的Dophantine方程组系统解集的基础的算法
机译:使用线性Diophantine方程的最小解的一些线性计数问题的新复杂性结果
机译:丢番图方程 和 线性 递推数列
机译:Schrödinger方程线性耦合系统的分离和同步矢量解
机译:线性可达性问题和线性Diophantine方程组的最小解
机译:关于丢番图和混合不定方程解的线性方程组和不等式的存在性和表示