No label defined (Q4281588)
From MaRDI portal
scientific article; zbMATH DE number 512885
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 512885 |
Statements
19 October 1994
0 references
Prolog
0 references
abstract interpretation of logic programs
0 references
constraint solving over finite domains
0 references
constraint language
0 references
fixpoint computation
0 references
\(\mu\)- calculus
0 references
