From post

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.

 

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

Non-distributive Description Logic., , , , , и . TABLEAUX, том 14278 из Lecture Notes in Computer Science, стр. 49-69. Springer, (2023)Labelled Calculi for the Logics of Rough Concepts., , , , , и . ICLA, том 13963 из Lecture Notes in Computer Science, стр. 172-188. Springer, (2023)Logics for Rough Concept Analysis., , , , и . CoRR, (2018)A Multi-type Calculus for Inquisitive Logic., , , и . WoLLIC, том 9803 из Lecture Notes in Computer Science, стр. 215-233. Springer, (2016)Software Tool Support for Modular Reasoning in Modal Logics of Actions., , , , и . ITP, том 10895 из Lecture Notes in Computer Science, стр. 48-67. Springer, (2018)Breathing Monitoring in Soccer: Part I - Validity of Commercial Wearable Sensors., , , , , , , , , и 1 other автор(ы). Sensors, 24 (14): 4571 (июля 2024)FPGA Based Digital Lock-in Amplifier for fNIRS Systems., , , и . ApplePies, том 512 из Lecture Notes in Electrical Engineering, стр. 33-39. Springer, (2017)Unified Correspondence as a Proof-Theoretic Tool., , , , и . CoRR, (2016)Tool support for reasoning in display calculi., , , , и . CoRR, (2016)Lattice Logic Properly Displayed., и . CoRR, (2016)