Proving Properties of Co-logic Programs with Negation by Program Transformations

DOI10.1007/978-3-642-38197-3_14zbMath1394.68057OpenAlexW64077253MaRDI QIDQ2848908

Hirohisa Seki

Publication date: 13 September 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-38197-3_14

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

On dual programs in co-logic programming and the Horn \({\mu}\)-calculus ⋮ Extending Co-logic Programs for Branching-Time Model Checking ⋮ On Dual Programs in Co-Logic Programming

This page was built for publication: Proving Properties of Co-logic Programs with Negation by Program Transformations