Verifying Termination of General Logic Programs with Concrete Queries

Add code
Jun 21, 2000
Figure 1 for Verifying Termination of General Logic Programs with Concrete Queries
Figure 2 for Verifying Termination of General Logic Programs with Concrete Queries

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: