×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [decidable theory]
MICHAL MOSKAL AND NIKHIL SWAMY RESEARCH IN SOFTWARE ENGINEERING (RISE) MICROSOFT RESEARCH, REDMOND August 8 – 11, 2013 ICFP PROGRAMMING CONTEST
218 views
MetiTarski: An Automatic Prover for Real-Valued Special Functions
72 views
A Framework for Cooperating Decision Procedures
46 views
Integrating External Deduction Tools with ACL2
45 views