The following pages link to (Q4938414):
Displayed 4 items.
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- Algorithms for solving systems of linear Diophantine equations in integer domains (Q2371668) (← links)
- Subtractive reductions and complete problems for counting complexity classes (Q2566034) (← links)
- On the complexity of recognizing the Hilbert basis of a linear Diophantine system (Q5958323) (← links)