αCheck: A mechanized metatheory model checker*

E-ISSN： 1475-3081|17|3|311-352

ISSN： 1471-0684

Source： Theory and Practice of Logic Programming, Vol.17, Iss.3, 2017-05, pp. : 311-352

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

3. Check of the Hg–Hg Interaction Potential for Mercury Deposited on Graphene

International Journal of Computer Research, Vol. , Iss. , 2016-04 ,pp. : 52-55

Nova Science Publishers, Inc.

Access to resources Recommend Favorite

Analysis of Attraction Features of Tourism Destinations in a Mega-City Based on Check-in Data Mining—A Case Study of Shenzhen, China

By Gu Zhihui Zhang Yan Chen Yu Chang Xiaomeng

ISPRS International Journal of Geo-Information, Vol. 5, Iss. 11, 2016-11 ,pp. : 210-210

MDPI

Access to resources Recommend Favorite

LES: Unsteady Atmospheric Turbulent Layer Inlet. A Precursor Method Application and Its Quality Check †

By Berthaut-Gerentes Julien Delaunay Didier

Computation, Vol. 3, Iss. 2, 2015-05 ,pp. : 262-273

MDPI

Access to resources Recommend Favorite

The Cubic α-Catmull-Rom Spline

By Li Juncheng Chen Sheng

Mathematical and Computational Applications, Vol. 21, Iss. 3, 2016-08 ,pp. : 33-33

MDPI

Access to resources Recommend Favorite

A Model for Information

By Walton Paul

Information, Vol. 5, Iss. 3, 2014-09 ,pp. : 479-507

MDPI

Access to resources Recommend Favorite