Termination proofs of well-moded logic programs via conditional rewrite systems
From MaRDI portal
Publication:5881206
DOI10.1007/3-540-56393-8_34OpenAlexW1499823109MaRDI QIDQ5881206
Uwe Waldmann, Harald Ganzinger
Publication date: 9 March 2023
Published in: Conditional Term Rewriting Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-56393-8_34
Related Items (3)
CLP(H):Constraint logic programming for hedges ⋮ Logicality of conditional rewrite systems ⋮ Characterizing and proving operational termination of deterministic conditional term rewriting systems
Cites Work
This page was built for publication: Termination proofs of well-moded logic programs via conditional rewrite systems