HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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-2025 easychair.org. All rights reserved.