15 results on '"Yoni Zohar"'
Search Results
2. The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems.
3. Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness.
4. Combining Finite Combination Properties: Finite Models and Busy Beavers.
5. DNN Verification, Reachability, and the Exponential Function Problem.
6. Reasoning About Vectors using an SMT Theory of Sequences.
7. Politeness and Stable Infiniteness: Stronger Together.
8. lazybvtoint at the SMT Competition 2020.
9. Resources: A Safe Language Abstraction for Money.
10. Politeness for the Theory of Algebraic Datatypes.
11. Towards Bit-Width-Independent Proofs in SMT Solvers.
12. DRAT-based Bit-Vector Proofs in CVC4.
13. Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts.
14. Sequent systems for negative modalities.
15. It ain't necessarily so: Basic sequent systems for negative modalities.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.