## Stem noetherian$ (all stems)

### 6 papers:

- ICALP-v2-2010-Goubault-Larrecq #verification
- Noetherian Spaces in Verification (JGL), pp. 2–21.
- LATA-2009-Akama #commutative #learning
- Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory (YA), pp. 93–104.
- RTA-2008-Stratulat #induction
- Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (SS), pp. 351–365.
- LICS-2007-Goubault-Larrecq #on the
- On Noetherian Spaces (JGL), pp. 453–462.
- RTA-1997-BachmairT #commutative #polynomial
- D-Bases for Polynomial Ideals over Commutative Noetherian Rings (LB, AT), pp. 113–127.
- RTA-1997-Vorobyov #decidability #first-order #linear
- The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable (SGV), pp. 254–268.