Handbook of discrete and combinatorial mathematics

Dalal, M. (2000). Handbook of discrete and combinatorial mathematics.

Type

Reference work

Intellectual base

Reference work

Year

2000

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Ground expression
  • Ground terms and ground formulas are evaluated without a variable assignment once a structure is fixed; bound-variable formulas can be closed without being ground under stricter syntactic conventions.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:5ee70b37e9b1 · see in the full table