Follow
Yotam Dvir
Title
Cited by
Cited by
Year
An Algebraic Theory for Shared-State Concurrency
Y Dvir, O Kammar, O Lahav
Programming Languages and Systems: 20th Asian Symposium, APLAS 2022 …, 2022
32022
A Denotational Approach to Release/Acquire Concurrency
Y Dvir, O Kammar, O Lahav
European Symposium on Programming, 121-149, 2024
22024
First-Order Quasi-canonical Proof Systems
Y Dvir, A Avron
Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019
12019
Existential Information Processing and Quasi-Canonical Proof Systems in Predicate Logic
Y Dvir
Tel-Aviv University, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–4