( en | de | ru )

 

Disambiguierung von "Montanari, Angelo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Games, Automata, Logics, and Formal Verification (GandALF 2013).

, , und . Inf. Comput., (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Federico Montanari

Elke Montanari

Simone Montanari

Barbara Montanari

Ombretta Montanari

 

Weitere Publikationen von Autoren mit dem selben Namen

A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas., und . SEBD, Seite 495-498. (2007)From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract)., , , und . SEBD, Seite 382-389. Esculapio Editore, (2010)Modal Event Calculus., , und . ILPS, Seite 675. MIT Press, (1994)A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints., , , und . ICAART (1), Seite 154-163. SciTePress, (2012)A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation., , , und . TABLEAUX, Volume 8123 von Lecture Notes in Computer Science, Seite 74-80. Springer, (2013)Undecidability of future timeline-based planning over dense temporal domains., , , und . CoRR, (2019)Calendars, Time Granularities, and Automata., und . SSTD, Volume 2121 von Lecture Notes in Computer Science, Seite 279-298. Springer, (2001)Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification., , , , und . LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 590-604. Springer, (2008)Derivability in Locally Quantified Modal Logics via Translation in Set Theory., , und . MFCS, Volume 1893 von Lecture Notes in Computer Science, Seite 559-568. Springer, (2000)The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT., , , und . Ann. Math. Artif. Intell., 71 (1-3): 11-39 (2014)