Your search
Boost open access documents
Linguistics tools
Statistics
209 hits
in 70,471,478 documents
in 0.20 seconds
Home » Search: Christoph Walther
Hit List

1. Adaptation of Proofs for Reuse

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

2. Second-order matching modulo evaluation -- A technique for reusing proofs

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

3. ARTIFICIAL INTELLIGENCE A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

4. Patching Proofs for Reuse

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

5. Proof Management and Retrieval

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

6. Reusing Proofs

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

7. Second-order matching modulo evaluation -- a technique for reusing proofs

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

8. A Machine-Verified Code Generator

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

9. Verifying the Modal Logic Cube is an Easy Task (for Higher-Order Automated Reasoners)

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

10. Proving Theorems by Mimicking a Human's Skill

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar
Sort Your Results
Refine Search Result
Results:   1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11  Next »  [21]

Currently in BASE: 70,471,478 Documents of 3,410 Content Sources
http://www.base-search.net