Termination and Reduction Checking for Higher-Order Logic Programs (0)

Cached

Download Links

by Brigitte Pientka
Venue:In First International Joint Conference on Automated Reasoning (IJCAR
Citations:13 - 3 self