CACTUS

swMATH2907MaRDI QIDQ15444FDOQ15444

Author name not available (Why is that?)

Official website: http://www.springerlink.com/content/m66204q328p11182/fulltext.pdf

Described by source

• Extensions of the branching-time logic programming language CACTUS

Cited In (19)

• Axiomatic semantics of projection temporal logic programs
• Temporal disjunctive logic programming
• Level-by-level artificial viscosity and visualization for MHD simulation with adaptive mesh refinement
• Temporal stratification tests for linear and branching-time deductive databases
• A temporal programming model with atomic blocks based on projection temporal logic
• A time-dependent neutron transport method of characteristics formulation with time derivative propagation
• Operational semantics of Framed Tempura
• MAP
• GRChombo
• GASpAR
• DeCART
• Lucid
• The branching-time transformation technique for chain datalog programs
• Knowledge representation, reasoning and integration using temporal logic with clocks
• A value-propagating transformation technique for Datalog programs based on non-deterministic constructs
• Higher-order functional languages and intensional logic
• Stratified negation in temporal logic programming and the cycle-sum test
• Branching-time logic programming: the language Cactus and its applications
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING

This page was built for software: CACTUS