( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Realizing Continuity Using Stateful Computations.

, и . CSL, том 252 из LIPIcs, стр. 15:1-15:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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.

Frédéric Liron

Liron Amdur

Nikitas Lironis

Kurt Cohen

Hermann Cohen

 

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

Summary: Multi-Agent Path Finding with Kinematic Constraints., , , , , , и . IJCAI, стр. 4869-4873. ijcai.org, (2017)Bounded Suboptimal Multi-Agent Path Finding Using Highways., и . IJCAI, стр. 3978-3979. IJCAI/AAAI Press, (2016)Integrating Induction and Coinduction via Closure Operators and Proof Cycles., и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 375-394. Springer, (2020)A Verified Theorem Prover Backend Supported by a Monotonic Library., , и . LPAR, том 57 из EPiC Series in Computing, стр. 564-582. EasyChair, (2018)Non-well-founded Deduction for Induction and Coinduction.. CADE, том 12699 из Lecture Notes in Computer Science, стр. 3-24. Springer, (2021)Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks., , , , , , , , , и 2 other автор(ы). SOCS, стр. 151-158. AAAI Press, (2019)Uncertainty Estimation based on Geometric Separation., , , и . CoRR, (2023)Computability Beyond Church-Turing via Choice Sequences., , , и . LICS, стр. 245-254. ACM, (2018)$TT^\Box_C$: a Family of Extensional Type Theories with Effectful Realizers of Continuity., и . Log. Methods Comput. Sci., (2024)Applicable Mathematics in a Minimal Computational Theory of Sets., и . CoRR, (2018)