Uniud ES

3/2017 - On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions Ubicado en Ateneo / … / Pubblicazioni / Preprints

4/2017 - Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption Ubicado en Ateneo / … / Pubblicazioni / Preprints

5/2017 - Work-in-Progress Proceedings of the Workshop on "Logical Frameworks and Meta-Languages: Theory and Practice" Ubicado en Ateneo / … / Pubblicazioni / Preprints

1/2018 - Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains Ubicado en Ateneo / … / Pubblicazioni / Preprints

2/2018 - Complexity of timeline-based planning over dense temporal domains: exploring the middle ground Ubicado en Ateneo / … / Pubblicazioni / Preprints

3/2018 - Timeline-based planning over dense temporal domains Ubicado en Ateneo / … / Pubblicazioni / Preprints

PR_PQ_GEST DOCUM_00.doc Ubicado en Ateneo / … / Procedure / ATENEO

Altri Atenei/organi Ubicado en Ateneo / … / Documenti / Presentazione e incontri formativi

Ateneo di Udine Ubicado en Ateneo / … / Documenti / Presentazione e incontri formativi

Politica di Qualità della formazione Ubicado en Ateneo / … / Documenti / Obiettivi e strategie

Resultados de búsqueda