Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
David Fuenmayor
Publications
Towards StarExec in the Cloud
David Fuenmayor
,
Jack McKeown
and
Geoff Sutcliffe
In
:
Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Searching for Wormholes in Proof-Space
David Fuenmayor
and
Christoph Benzmüller
In
:
Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Keyphrases
Amazon Web Services
,
Containerization
,
StarExec
.
Copyright © 2012-2025 easychair.org. All rights reserved.
