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.