Pages that link to "Item:Q3140014"
From MaRDI portal
The following pages link to Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases (Q3140014):
Displaying 9 items.
- Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
- An undecidability result for AGh (Q859845) (← links)
- Permutative rewriting and unification (Q876048) (← links)
- Complexity of nilpotent unification and matching problems. (Q1854363) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- Symbolic protocol analysis for monoidal equational theories (Q2482449) (← links)
- Deciding Knowledge in Security Protocols for Monoidal Equational Theories (Q3498466) (← links)
- Unification and matching modulo nilpotence (Q4647522) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
