( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic.

, и . Arch. Formal Proofs, (2019)

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.

Dmitriy Nikolayev

Dmitriy Izychev

Dmitriy Stukalin

Dmytro Traytel

Dmitriy Shevela

 

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

Formalizing Bachmair and Ganzinger's Ordered Resolution Prover., , , и . J. Autom. Reason., 64 (7): 1169-1195 (2020)Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic., и . Arch. Formal Proofs, (2019)A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover., , и . Arch. Formal Proofs, (2018)Syntax-Independent Logic Infrastructure., и . Arch. Formal Proofs, (2020)From Abstract to Concrete Gödel's Incompleteness Theorems - Part I., и . Arch. Formal Proofs, (2020)A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm., и . Arch. Formal Proofs, (2020)From Abstract to Concrete Gödel's Incompleteness Theorems - Part II., и . Arch. Formal Proofs, (2020)Multi-head Monitoring of Metric Temporal Logic., , , и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 151-170. Springer, (2019)VeriMon: A Formally Verified Monitoring Tool., , , , , , , , , и 3 other автор(ы). ICTAC, том 13572 из Lecture Notes in Computer Science, стр. 1-6. Springer, (2022)Optimal Proofs for Linear Temporal Logic on Lasso Words., , и . ATVA, том 11138 из Lecture Notes in Computer Science, стр. 37-55. Springer, (2018)