scientific article
From MaRDI portal
Publication:2703699
zbMath0962.68083MaRDI QIDQ2703699
Masaki Nakamura, Kazuhiro Ogata
Publication date: 7 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Rewriting logic: Roadmap and bibliography ⋮ Applications and extensions of context-sensitive rewriting ⋮ Just-in-time ⋮ Compact Normalisation Trace via Lazy Rewriting ⋮ Induction for termination with local strategies ⋮ Lazy Rewriting and Context-Sensitive Rewriting ⋮ On-demand strategy annotations revisited: an improved on-demand evaluation strategy
This page was built for publication:
