Towards Verifying Logic Programs in the Input Language of clingo (Q5049051)
From MaRDI portal
scientific article; zbMATH DE number 7614727
Language | Label | Description | Also known as |
---|---|---|---|
English | Towards Verifying Logic Programs in the Input Language of clingo |
scientific article; zbMATH DE number 7614727 |
Statements
Towards Verifying Logic Programs in the Input Language of clingo (English)
0 references
9 November 2022
0 references