The following pages link to CACTUS (Q15444):
Displayed 14 items.
- Level-by-level artificial viscosity and visualization for MHD simulation with adaptive mesh refinement (Q726880) (← links)
- A time-dependent neutron transport method of characteristics formulation with time derivative propagation (Q729433) (← links)
- Knowledge representation, reasoning and integration using temporal logic with clocks (Q1001355) (← links)
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- Temporal stratification tests for linear and branching-time deductive databases (Q2566298) (← links)
- A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING (Q3022009) (← links)
- Axiomatic semantics of projection temporal logic programs (Q3060195) (← links)
- Branching-time logic programming: the language Cactus and its applications (Q4719299) (← links)
- Higher-order functional languages and intensional logic (Q4943309) (← links)
- (Q5487109) (← links)
- Temporal disjunctive logic programming (Q5929097) (← links)
- Stratified negation in temporal logic programming and the cycle-sum test (Q5940935) (← links)
- The branching-time transformation technique for chain datalog programs (Q5952811) (← links)