Personal Information

VIEW MORE
Home > Scientific Research > Paper Publications

Abella: A System for Reasoning about Relational Specifications

Date of Publication:2014-12-01 Hits:

Journal:Journal of Formalized Reasoning
Translation or Not:no
Date of Publication:2014-12-01
Indexed by:期刊论文

Pre One:A Proof-Theoretic Characterization of Independence in Type Theory

Next One:Towards Extracting Explicit Proofs from Totality Checking in Twelf

Recommend this article

 沪ICP备05052060 版权所有©上海交通大学

Click:  | The Last Update Time:..