HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:triggers

Papers
Drought Early Warning System (EWS) for the Dominican Republic
Rafael Nuñez
EasyChair Preprint no. 2917
Case Database Construction and Temporal-spatial Analysis of Mass Incidents in China Based on GIS
Lida Huang, Jianguo Chen, Zewei Zhang, Hongyong Yuan, Qing Deng and Feng Sun
EasyChair Preprint no. 17
Reasoning with Triggers
Claire Dross, Sylvain Conchon, Johannes Kanig and Andrei Paskevich
In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Copyright © 2012-2023 easychair.org. All rights reserved.