External Rewriting for Skeptical Proof Assistants (2002)

Cached

Download Links

by Quang Huy Nguyen , Loria Inria , Claude Kirchner
Citations:18 - 3 self