( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272).

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Olga Romanow

Max Viktor Romanus

Kornel Romaniuk

Fouad Romani

Christoph Romanowski

 

Другие публикации лиц с тем же именем

Update as Evidence: Belief Expansion., и . LFCS, том 7734 из Lecture Notes in Computer Science, стр. 266-279. Springer, (2013)Modal interpolation via nested sequents., и . 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., , , и . Minds Mach., 33 (2): 293-319 (июня 2023)Realizing public announcements by justifications., , и . J. Comput. Syst. Sci., 80 (6): 1046-1066 (2014)A priori Belief Updates as a Method for Agent Self-Recovery., и . CoRR, (2023)Impure Simplicial Complexes: Complete Axiomatization., , и . Log. Methods Comput. Sci., (2023)On Two- and Three-valued Semantics for Impure Simplicial Complexes., , и . GandALF, том 390 из EPTCS, стр. 50-66. (2023)Uniform Interpolation via Nested Sequents., , и . WoLLIC, том 13038 из Lecture Notes in Computer Science, стр. 337-354. Springer, (2021)Proof Identity for Classical Logic: Generalizing to Normality.. LFCS, том 4514 из Lecture Notes in Computer Science, стр. 332-348. Springer, (2007)On the Complexity of Explicit Modal Logics.. CSL, том 1862 из Lecture Notes in Computer Science, стр. 371-383. Springer, (2000)