Compact Normalisation Trace via Lazy Rewriting (2001)

Cached

Download Links

by Quang-Huy Nguyen , Loria Inria
Citations:6 - 0 self

Document Versions

Compact Normalisation Trace via Lazy Rewriting –Quang-Huy Nguyen, Loria Inria — 2001