DMCA

SAT-based Finite Model Generation for Higher-Order Logic (2008)

Cached

Download Links

by Tjark Weber
Venue:PH.D. THESIS, INSTITUT FÜR INFORMATIK, TECHNISCHE UNIVERSITÄT
Citations:22 - 2 self