( en | de | ru )

 

Disambiguierung von "Traytel, Dmitriy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dmitriy Nikolayev

Dmitriy Izychev

Dmitriy Stukalin

Dmytro Traytel

Dmitriy Logashenko

 

Weitere Publikationen von Autoren mit dem selben Namen

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