Proof-Theoretic and Higher-Order Extensions of Logic Programming

DOI10.1007/978-3-642-14309-0_12zbMath1285.68034OpenAlexW2131617471MaRDI QIDQ3578399

Mario Ornaghi, Alberto Momigliano

Publication date: 20 July 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14309-0_12

Mathematics Subject Classification ID

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

This page was built for publication: Proof-Theoretic and Higher-Order Extensions of Logic Programming