Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
evaluation strategies
Publications
Hybrid Intersection Types for PCF
Pablo Barenbaum
,
Delia Kesner
and
Mariana Milicich
In
:
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Strategy to Evaluate and Measure the Degree of Openness of Cloud Services Environment
Narayan Debnath
,
Mario Gabriel Peralta
,
Carlos Humberto Salgado
,
Lorena Baigorria
,
German Montejano
,
Daniel Riesco
and
Emdad Ahmed
In
:
Proceedings of 32nd International Conference on Computer Applications in Industry and Engineering
Analyzing Runtime Complexity via Innermost Runtime Complexity
Florian Frohn
and
Jürgen Giesl
In
:
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2024 easychair.org. All rights reserved.