scientific article; zbMATH DE number 4119670
From MaRDI portal
Publication:4733442
Recommendations
Cited in
(22)- Programming in metric temporal logic
- Time-extraction for temporal logic -- logic programming and local process time
- Temporal logic CTL \(+\) Prolog
- On the expressiveness of temporal logic programming
- Compositional reasoning using intervals and time reversal
- Framed temporal logic programming
- Temporal object-oriented programming
- scientific article; zbMATH DE number 3862427 (Why is no real title available?)
- scientific article; zbMATH DE number 3901996 (Why is no real title available?)
- scientific article; zbMATH DE number 3960965 (Why is no real title available?)
- scientific article; zbMATH DE number 4052975 (Why is no real title available?)
- scientific article; zbMATH DE number 4082943 (Why is no real title available?)
- scientific article; zbMATH DE number 4128368 (Why is no real title available?)
- scientific article; zbMATH DE number 1536571 (Why is no real title available?)
- Temporal logic programs with variables
- scientific article; zbMATH DE number 1372679 (Why is no real title available?)
- scientific article; zbMATH DE number 4119594 (Why is no real title available?)
- scientific article; zbMATH DE number 4119669 (Why is no real title available?)
- scientific article; zbMATH DE number 773990 (Why is no real title available?)
- Temporal logic programming
- Dense time logic programming
- Executable temporal logic systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4733442)
