Termination of simply moded logic programs with dynamic scheduling (Q5277705)
From MaRDI portal
scientific article; zbMATH DE number 6743949
Language | Label | Description | Also known as |
---|---|---|---|
English | Termination of simply moded logic programs with dynamic scheduling |
scientific article; zbMATH DE number 6743949 |
Statements
Termination of simply moded logic programs with dynamic scheduling (English)
0 references
12 July 2017
0 references
logic programs
0 references
dynamic scheduling
0 references
simply moded
0 references
termination
0 references