Branching-time logic programming: the language Cactus and its applications
From MaRDI portal
Publication:4719299
DOI10.1016/S0096-0551(98)00009-5zbMath0948.68034OpenAlexW2136547062MaRDI QIDQ4719299
Themis Panayiotopoulos, Manolis Gergatsoulis, Panos Rondogiannis
Publication date: 4 January 2000
Published in: Computer Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0096-0551(98)00009-5
Related Items
A temporal programming model with atomic blocks based on projection temporal logic ⋮ Operational semantics of Framed Tempura ⋮ A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING ⋮ Temporal disjunctive logic programming ⋮ Stratified negation in temporal logic programming and the cycle-sum test ⋮ Axiomatic semantics of projection temporal logic programs ⋮ Temporal stratification tests for linear and branching-time deductive databases
Uses Software