Completeness of a top-down declarative error diagnoser (Q4732090)
From MaRDI portal
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use this page instead for the normal view: Completeness of a top-down declarative error diagnoser
scientific article; zbMATH DE number 4117820
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Completeness of a top-down declarative error diagnoser |
scientific article; zbMATH DE number 4117820 |
Statements
Completeness of a top-down declarative error diagnoser (English)
0 references
1989
0 references
declarative error diagnosis
0 references
completeness
0 references
logic programming
0 references
0.8269075155258179
0 references
0.8192349672317505
0 references
0.7458445429801941
0 references
0.7446438074111938
0 references
0.7349499464035034
0 references
