HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Han-Hing Dang

Publications
Automated Higher-order Reasoning about Quantales
Han-Hing Dang and Peter Höfner
In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning

Keyphrases

automated reasoning, higher-order reasoning, quantale, typed higher-order form of TPTP.

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