Stem nce$ (all stems)
2 papers:
- TAGT-1998-JacquetK #approach
- Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach (HJ, RKH), pp. 117–130.
- GG-1990-Engelfriet #graph #higher-order #logic #monad
- A Characterization of Context-Free NCE Graph Languages by Monadic Second-Order Logic on Trees (JE), pp. 311–327.