( en | de | ru )

 

Disambiguierung von "Mazzullo, Andrea"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Do You Need Infinite Time?.

, , und . IJCAI, Seite 1516-1522. ijcai.org, (2019)

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.

Andrea Witzenrath

Risikofaktoren für abdominelle Komplikationen nach kardiopulmonalem Bypass. Uni Erlangen-Nürnberg, (2009)

Andrea Rottach

Analysis of the cell cycle dependent dynamics of Dnmt1 and Np95 in living cells. Uni München, (2009)

Andrea Hruby

Die MAPKKK Bck1p des Zellwand-Integritätssignalwegs in der Bäckerhefe Saccharomyces cerevisiae. Uni Münster, (2009)

Michaela Andrea Fingas

Resultate nach radikaler Prostatektomie bei Patienten mit einem Prostatakarzinom Gleason 7-10. Uni Marburg, (2009)

Andrea Rupps

 

Weitere Publikationen von Autoren mit dem selben Namen

Temporal DL-Lite over Finite Traces (Preliminary Results)., , und . Description Logics, Volume 2373 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Learning Query Inseparable ELH Ontologies (Extended Abstract)., , und . Description Logics, Volume 2663 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)Complexity of Safety and coSafety Fragments of Linear Temporal Logic., , , , und . AAAI, Seite 6236-6244. AAAI Press, (2023)Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract)., , , , und . Description Logics, Volume 2663 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results)., , , und . Description Logics, Volume 2954 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)A Singly Exponential Transformation of LTLX, F into Pure Past LTL., , , , und . KR, Seite 65-74. (2023)A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies., , , und . OVERLAY@AI*IA, Volume 3629 von CEUR Workshop Proceedings, Seite 85-92. CEUR-WS.org, (2023)Non-Normal Modal Description Logics., , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 306-321. Springer, (2023)More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions., , und . Description Logics, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)On Free Description Logics with Definite Descriptions., , , und . Description Logics, Volume 2663 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)