Extensions of the branching-time logic programming language CACTUS

MaRDI QIDQ2758304zbMATH OpenFDO

Authors Manolis Gergatsoulis

Publication date 6 December 2001

zbMATH Keywords

Cactus

Mathematics Subject Classification ID

Temporal logic (03B44) Logic programming (68N17)

Recommendations

• Branching-time logic programming: the language Cactus and its applications
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
• Temporal logic programming
• scientific article; zbMATH DE number 4119669
• The temporal logic of branching time

Cited in

(2)

• CACTUS
• Branching-time logic programming: the language Cactus and its applications

This page was built for publication: Extensions of the branching-time logic programming language CACTUS

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