Dizionario critico etimologico del dialetto tarantino

von Gigante, Nicola
Veröffentlicht 1986

Dizionario critico etimologico del dialetto tarantino

von Gigante, Nicola
Veröffentlicht 1986

España : pueblos y ciudades

von Falco, Alfonso
Veröffentlicht 2000

Lessico marinaresco tarantino e delle principali piazze marittime italiane e mediterranee : fauna, flora, molluschicoltura, arte marinara

von Pastore, Michele A.
Veröffentlicht 2012

A Novel Automata-Theoretic Approach to Timeline-Based Planning

von Monica, Dario Della
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis

von Cimatti, Alessandro
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic

von Artale, Alessandro
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

A first-order logic characterisation of safety and co-safety languages

von Cimatti, Alessandro
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)