Uniud 中文

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

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

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

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

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

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

PR_PQ_GEST DOCUM_00.doc Si trova in Ateneo / … / Procedure / ATENEO

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

Ateneo di Udine Si trova in Ateneo / … / Documenti / Presentazione e incontri formativi

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

Risultati della ricerca