( en | de | ru )

 

Disambiguierung von "Dixon, Clare"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
: A Resolution-Based Prover for Multimodal K.

, , und . IJCAR, Volume 9706 von Lecture Notes in Computer Science, Seite 406-415. Springer, (2016)

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.

Christa Dixon

Ditty Dixon

Lucas Dixon

Mark Dixon

Dixon Arlander

 

Weitere Publikationen von Autoren mit dem selben Namen

Resolution for Temporal Logics of Knowledge., , und . J. Log. Comput., 8 (3): 345-372 (1998)Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks., , , , und . ECEASST, (2018)Clausal temporal resolution., , und . ACM Trans. Comput. Log., 2 (1): 12-56 (2001)Temporal Resolution Using a Breadth-First Search Algorithm.. Ann. Math. Artif. Intell., 22 (1-2): 87-115 (1998)Deductive temporal reasoning with constraints., , , und . J. Appl. Log., 11 (1): 30-51 (2013)Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations., , und . J. Autom. Reason., 64 (8): 1553-1610 (2020)sf Kn : Architecture, Refinements, Strategies and Experiments., , und . J. Autom. Reason., 64 (3): 461-484 (2020)Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic., , , und . CADE, Volume 14132 von Lecture Notes in Computer Science, Seite 382-400. Springer, (2023)Verifying Autonomous Robots: Challenges and Reflections (Invited Talk).. TIME, Volume 178 von LIPIcs, Seite 1:1-1:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages., , , , , , und . SEFM, Volume 11724 von Lecture Notes in Computer Science, Seite 471-490. Springer, (2019)