A methodology for the construction of term classes
โ Scribed by Clement T. Yu
- Publisher
- Elsevier Science
- Year
- 1974
- Weight
- 521 KB
- Volume
- 10
- Category
- Article
- ISSN
- 0020-0271
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
In this paper we show that it is possible to extend in a natural way to the dynamic case some basic results of the classical approach to (static) data types. Within an appropriate framework of dynamic structures (called d-oids), which play the same role as algebras in the static case, we define a la
We find a natural construction of a large class of symmetric graphs from point-and block-transitive 1-designs. The graphs in this class can be characterized as G-symmetric graphs whose vertex sets admit a G-invariant partition B of block size at least 3 such that, for any two blocks B, C of B, eithe