No label defined (Q4424942)
From MaRDI portal
scientific article; zbMATH DE number 1978322
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1978322 |
Statements
1 October 2003
0 references
semantics of disjunctive logic programs
0 references
fixed points
0 references
multivalued mappings
0 references
Knaster-Tarski theorem
0 references
Kleene theorem
0 references