Search results

From MaRDI portal

  • Semantics for logic programs without occur check
    as failuresoundnessPrologoccur checkcircular bindings of variablesCSLD-resolution Mathematics Subject Classification ID General topics in the theory of...
    15 bytes (170 words) - 17:05, 30 January 2024
Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:Search"
Powered by MediaWiki