On Finitely Recursive Programs

DOI10.1007/978-3-540-74610-2_7zbMath1213.68170OpenAlexW2937456179MaRDI QIDQ3608648

Giovanni Criscuolo, Sabrina Baselice, Piero A. Bonatti

Publication date: 5 March 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-74610-2_7

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (5)

$\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols ⋮ Weight constraint programs with evaluable functions ⋮ Answer Set Programming: A Primer ⋮ Computable Functions in ASP: Theory and Implementation ⋮ Composing Normal Programs with Function Symbols

This page was built for publication: On Finitely Recursive Programs