×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of bernhard-beckert
Logic programming as a basis for lean automated deduction
213 views
Depth-first proof search without backtracking for free-variable clausal tableaux
212 views
Tests and Proofs
217 views
KeYGenU: combining verification-based and capture and replay techniques for regression unit testing
214 views
Free-Variable Tableaux for Propositional Modal Logics
213 views