( en | de | ru )

 

Disambiguation of "Traytel, Dmitriy"

Author of the publication

copydeleteadd this publication to your clipboard
A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover.

, , and . Arch. Formal Proofs, (2018)

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. You can also use the button next to the name to display some publications already assigned to the person.

Dmitriy Nikolayev

Dmitriy Izychev

Dmitriy Stukalin

Dmytro Traytel

Dmitriy Shevela

 

Other publications of authors with the same name

Formalizing Bachmair and Ganzinger's Ordered Resolution Prover., , , and . J. Autom. Reason., 64 (7): 1169-1195 (2020)A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover., , and . Arch. Formal Proofs, (2018)Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic., and . Arch. Formal Proofs, (2019)VeriMon: A Formally Verified Monitoring Tool., , , , , , , , , and 3 other author(s). ICTAC, volume 13572 of Lecture Notes in Computer Science, page 1-6. Springer, (2022)Multi-head Monitoring of Metric Temporal Logic., , , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 151-170. Springer, (2019)From Abstract to Concrete Gödel's Incompleteness Theorems - Part II., and . Arch. Formal Proofs, (2020)From Abstract to Concrete Gödel's Incompleteness Theorems - Part I., and . Arch. Formal Proofs, (2020)Syntax-Independent Logic Infrastructure., and . Arch. Formal Proofs, (2020)A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm., and . Arch. Formal Proofs, (2020)Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows., , and . Arch. Formal Proofs, (2020)