( en | de | ru )

 

Disambiguation of "Traytel, Dmitriy"

Author of the publication

copydeleteadd this publication to your clipboard
From Nondeterministic to Multi-Head Deterministic Finite-State Transducers.

, , and . ICALP, volume 132 of LIPIcs, page 127:1-127:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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. 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

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)Formalizing Bachmair and Ganzinger's Ordered Resolution Prover., , , and . J. Autom. Reason., 64 (7): 1169-1195 (2020)Multi-head Monitoring of Metric Temporal Logic., , , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 151-170. Springer, (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)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)Multi-head Monitoring of Metric Dynamic Logic., , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 233-250. Springer, (2020)