The following pages link to (Q4035235):
Displayed 17 items.
- Linear reachability problems and minimal solutions to linear Diophantine equation systems (Q703515) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- Avoiding slack variables in the solving of linear diophantine equations and inequations (Q1391934) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- Updatable timed automata (Q1885906) (← links)
- A characterization of arithmetical invariants by the monoid of relations. II: The monotone catenary degree and applications to semigroup rings. (Q2346784) (← links)
- Lower bounds for testing triangle-freeness in Boolean functions (Q2353187) (← links)
- Inside factorial monoids and the Cale monoid of a linear Diophantine equation (Q2419476) (← links)
- Effective solution of linear Diophantine equation systems with an application in chemistry (Q2503714) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- (Q4968382) (← links)
- (Q5009439) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- General solution of systems of linear diophantine equations and inequations (Q5055841) (← links)
- Decision Procedures for Multisets with Cardinality Constraints (Q5452719) (← links)
- From Feynman rules to conserved quantum numbers. III (Q6041589) (← links)
- Synchronization of Parikh automata (Q6067332) (← links)