CACTUS
From MaRDI portal
Software:15444
swMATH2907MaRDI QIDQ15444FDOQ15444
Author name not available (Why is that?)
Cited In (14)
- Axiomatic semantics of projection temporal logic programs
- Temporal disjunctive logic programming
- Title not available (Why is that?)
- 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
- The branching-time transformation technique for chain datalog programs
- Knowledge representation, reasoning and integration using temporal logic with clocks
- 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
