( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Advances in Modal Logic 11, proceedings of the 11th conference on Ädvances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016

, , и (Ред.) College Publications, (2016)

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.

Stéphane Klein

Stéphane Haussler

Stéphane Müller

Stéphane Aubry

Stéphane Audière

 

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

Using Connection Method in Modal Logics: Some Advantages.. TABLEAUX, том 918 из Lecture Notes in Computer Science, стр. 63-78. Springer, (1995)Witness Runs for Counter Machines - (Abstract)., , и . TABLEAUX, том 8123 из Lecture Notes in Computer Science, стр. 1-4. Springer, (2013)Prefixed Tableaux Systems for Modal Logics with Enriched Languages., и . IJCAI (1), стр. 190-195. Morgan Kaufmann, (1997)Internal Calculi for Separation Logics., , и . CoRR, (2019)A Completeness Proof for a Logic with an Alternative Necessity Operator.. Stud Logica, 58 (1): 99-112 (1997)Computational Complexity of Multimodal Logics Based on Rough Sets., и . Fundam. Informaticae, 44 (4): 373-396 (2000)A Complete Axiomatisation for Quantifier-Free Separation Logic., , и . CoRR, (2020)Reasoning About Transfinite Sequences., и . ATVA, том 3707 из Lecture Notes in Computer Science, стр. 248-262. Springer, (2005)Axiomatising Logics with Separating Conjunction and Modalities., , и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 692-708. Springer, (2019)Relative Similarity Logics are Decidable: Reduction to FO2 with Equality., и . JELIA, том 1489 из Lecture Notes in Computer Science, стр. 279-293. Springer, (1998)