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.

 

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

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding., , и . CoRR, (2023)Adaptivity Gap for Influence Maximization with Linear Threshold Model on Trees., , и . IJTCS-FAW, том 13933 из Lecture Notes in Computer Science, стр. 160-170. Springer, (2023)Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding., , и . J. Autom. Reason., 68 (3): 18 (сентября 2024)A Complete Landscape for the Price of Envy-Freeness., , , , и . CoRR, (2024)LOGIC: A Coq Library for Logics., и . SETTA, том 13649 из Lecture Notes in Computer Science, стр. 205-226. Springer, (2022)