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