A Generalization of the Folding Rule for the Clark-Kunen Semantics

DOI10.1007/978-3-540-78969-7_14zbMath1137.68335OpenAlexW4239924470MaRDI QIDQ5458436

Paqui Lucio, Javier Álvez

Publication date: 11 April 2008

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78969-7_14

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: A Generalization of the Folding Rule for the Clark-Kunen Semantics