CACTUS
From MaRDI portal
Software:15444
No author found.
Related Items (14)
A temporal programming model with atomic blocks based on projection temporal logic ⋮ Operational semantics of Framed Tempura ⋮ Unnamed Item ⋮ A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING ⋮ Temporal disjunctive logic programming ⋮ Stratified negation in temporal logic programming and the cycle-sum test ⋮ Higher-order functional languages and intensional logic ⋮ The branching-time transformation technique for chain datalog programs ⋮ Axiomatic semantics of projection temporal logic programs ⋮ Level-by-level artificial viscosity and visualization for MHD simulation with adaptive mesh refinement ⋮ A time-dependent neutron transport method of characteristics formulation with time derivative propagation ⋮ Knowledge representation, reasoning and integration using temporal logic with clocks ⋮ Branching-time logic programming: the language Cactus and its applications ⋮ Temporal stratification tests for linear and branching-time deductive databases
This page was built for software: CACTUS
