Hypothetical reasoning and definitional reflection in logic programming

From MaRDI portal

Publication:5053014

Jump to:navigation, search

DOI10.1007/BFb0038701zbMath1502.68073OpenAlexW1524443432MaRDI QIDQ5053014

Peter Schroeder-Heister

Publication date: 26 November 2022

Published in: Extensions of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0038701

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Related Items (1)

Proof-theoretic notions for software maintenance

This page was built for publication: Hypothetical reasoning and definitional reflection in logic programming

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5053014&oldid=19528898"