A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING (Q3022009)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING |
scientific article |
Statements
A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING (English)
0 references
22 June 2005
0 references
temporal logic programming
0 references
proof procedures
0 references
branching-time
0 references
theorem proving
0 references
