scientific article; zbMATH DE number 1863389

zbMATH Open1005.68508MaRDI QIDQ4790664FDOQ4790664

Authors: David Hemer, Ian Hayes, Paul Strooper 

Publication date: 4 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520249

Title of this publication is not available (Why is that?)

Recommendations

• A refinement calculus for logic programs
• scientific article; zbMATH DE number 1104390
• Intuitionistic Refinement Calculus
• Refinement of Higher-Order Logic Programs
• scientific article; zbMATH DE number 1303996

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (8)

• A sequent calculus for first-order logic formalized in Isabelle/HOL
• The least conjunctive refinement and promotion in the refinement calculus
• Mechanizing some advanced refinement concepts
• Title not available (Why is that?)
• A theoretical basis for stepwise refinement and the programming calculus
• Title not available (Why is that?)
• Intuitionistic Refinement Calculus
• General parameterised refinement and recursion for the M-net calculus

Uses Software

• Isabelle
• Isabelle/HOL
• Isabelle/ZF

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4790664)