Certifying Term Rewriting Proofs in ELAN (2001)

Cached

Download Links

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