( en | de | ru )

 

Disambiguierung von "Kuznets, Roman"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272).

, , , , und . Dagstuhl Reports, 13 (7): 34-65 (2023)

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.

Ute Romann

Christoph Romanowski

Maria-Elena Romansky-Rieken

Georg Romanowski

Fouad Romani

 

Weitere Publikationen von Autoren mit dem selben Namen

Update as Evidence: Belief Expansion., und . LFCS, Volume 7734 von Lecture Notes in Computer Science, Seite 266-279. Springer, (2013)Modal interpolation via nested sequents., und . Ann. Pure Appl. Log., 166 (3): 274-305 (2015)The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems., , , und . Minds Mach., 33 (2): 293-319 (Juni 2023)Realizing public announcements by justifications., , und . J. Comput. Syst. Sci., 80 (6): 1046-1066 (2014)A priori Belief Updates as a Method for Agent Self-Recovery., und . CoRR, (2023)On Two- and Three-valued Semantics for Impure Simplicial Complexes., , und . GandALF, Volume 390 von EPTCS, Seite 50-66. (2023)Impure Simplicial Complexes: Complete Axiomatization., , und . Log. Methods Comput. Sci., (2023)Uniform Interpolation via Nested Sequents., , und . WoLLIC, Volume 13038 von Lecture Notes in Computer Science, Seite 337-354. Springer, (2021)Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi.. JELIA, Volume 10021 von Lecture Notes in Computer Science, Seite 320-335. (2016)On the Complexity of Explicit Modal Logics.. CSL, Volume 1862 von Lecture Notes in Computer Science, Seite 371-383. Springer, (2000)