HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Tianyi Liang

Publications
Exploiting parallelism in the ME calculus
Tianyi Liang and Cesare Tinelli
In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning

Keyphrases

Instantiation-based calculi, Model Evolution, parallel theorem proving.

Copyright © 2012-2025 easychair.org. All rights reserved.