Results 241 to 250 of about 21,033 (289)
Some of the next articles are maybe not open access.

Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments

Theory and Practice of Logic Programming, 2013
S. Greco   +2 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy