Personal Information

VIEW MORE
Home > Scientific Research > Paper Publications

Reasoning about Higher-Order Relational Specifications

Date of Publication:2013-09-01 Hits:

Journal:Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming (PPDP)
Translation or Not:no
Date of Publication:2013-09-01
Indexed by:会议论文

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

Next One:Very Short-Term Load Forecasting: Wavelet Neural Networks with Data Pre-Filtering

Recommend this article

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

Click:  | The Last Update Time:..