Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Joe Leslie-Hurd
Publications
Evaluation Opportunities in Mechanized Theories
Joe Leslie-Hurd
In
:
EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Composable Packages for Higher Order Logic Theories
Joe Leslie-Hurd
In
:
VERIFY-2010. 6th International Verification Workshop
Keyphrases
evaluation
,
higher-order logic
,
mechanized theories
,
package management
,
theory development
.
Copyright © 2012-2023 easychair.org. All rights reserved.
