Some General Properties of Cylindric Algebras

A Tarski, F. B. T. (1952). Some General Properties of Cylindric Algebras.

Type

Unclassified

Intellectual base

Unclassified

Year

1952

DOI

10.1090/s0002-9904-1952-09549-5

Link

https://doi.org/10.1090/s0002-9904-1952-09549-5

Cited by

1 citation across 1 artifact.

Domain-specific

• Codd's theorem
  • … tuple or domain calculus syntax, free variables and query arity, domain-independence or safety condition, active-domain convention, both translation directions and semantic equality are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

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:bc600f79f524 · see in the full table