Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Robert Jones
Observed name:
Jones, Robert
Institution:
Amazon (United States)
Observed institution:
Amazon (United States)
ORCID:
0009-0008-7999-5763
Observed ORCID:
0009-0008-7999-5763
OpenAlex ID:
A5134870177
The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver
2026
·
Andrew Reynolds
, Hans-Jörg Schurr
, et al.
·
Lecture notes in computer science
·
1
PDF
Artifact #71 CAV26 - The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver
2026
·
Reynolds, Andrew
, Schurr, Hans-Jörg
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Show more works
View as search
Works count:
2
Citation count:
1
H-index:
1
I10-index:
Year
Topic
Type
