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.