Predicate specialization for definitional higher-order logic programs

DOI10.1007/978-3-030-13838-7_8zbMath1524.68058arXiv1808.04176OpenAlexW2885709725MaRDI QIDQ6085979

Antonis Troumpoukis, Angelos Charalambidis

Publication date: 9 November 2023

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1808.04176

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Predicate specialization for definitional higher-order logic programs