Certifying Term Rewriting Proofs in ELAN (2001)

Cached

Download Links

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