Uniud EN

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

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

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

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

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

3/2018 - Timeline-based planning over dense temporal domains Located in Ateneo / … / Pubblicazioni / Preprints

PR_PQ_GEST DOCUM_00.doc Located in Ateneo / … / Procedure / ATENEO

Altri Atenei/organi Located in Ateneo / … / Documenti / Presentazione e incontri formativi

Ateneo di Udine Located in Ateneo / … / Documenti / Presentazione e incontri formativi

Politica di Qualità della formazione Located in Ateneo / … / Documenti / Obiettivi e strategie

Search results