๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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


A Free Construction of Dynamic Terms
โœ Egidio Astesiano; Elena Zucca ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 561 KB

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

Constructing a Class of Symmetric Graphs
โœ Sanming Zhou ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 208 KB

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