CACTUS
From MaRDI portal
Cited in
(21)- 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
- A temporal programming model with atomic blocks based on projection temporal logic
- Temporal stratification tests for linear and branching-time deductive databases
- A time-dependent neutron transport method of characteristics formulation with time derivative propagation
- Operational semantics of Framed Tempura
- CWENO
- FCVODE
- MAP
- GRChombo
- GASpAR
- DeCART
- Lucid
- Knowledge representation, reasoning and integration using temporal logic with clocks
- A value-propagating transformation technique for Datalog programs based on non-deterministic constructs
- The branching-time transformation technique for chain datalog programs
- 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
