No label defined (Q4452127)
From MaRDI portal
scientific article; zbMATH DE number 2040978
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2040978 |
Statements
11 February 2004
0 references
constraint systems
0 references
hereditary Harrop formulas
0 references
real numbers
0 references
nite symbolic trees
0 references
rst-order logic.
0 references