This paper details and extends the discussion of global proper72 L a T E X filename: Algebraic.tex (Paper: 1.2 [2]) 12:08 p.m. October 20, 1993 Algebraic Properties of Cellular Automata (1984) Figure 2. Global state transition diagrams for finite cellular automata with size N and periodic boundary

ICALP invited talk

Algebraic properties specify some natural properties of programming and specification constructs. This paper provides an overview of techniques to guarantee or generate algebraic properties of language constructs by investigating the syntactic shape of the deduction rules defining their operational

Algebraic graph theory comprises both the study of algebraic objects arising in connection with graphs, for example, automorphism groups of graphs along with the use of algebraic tools to establish interesting properties of combinatorial objects. One of the oldest themes in the area

observation congruence class. The paper demonstrates, for a sequence of simple languages expressing finite (terminating) behaviors, that in each case observation congruence can be axiomatized algebraically. Moreover, with the addition of recursion and another simple extension, the algebraic language described

In this article we present, in a unified manner, a variety of algebraic properties of both bicomplex numbers and hyperbolic numbers. In partic-ular, using three types of conjugations, we describe in detail some specific moduli with complex and hyperbolic ranges. We also specify for hyper

with message space Z jGj , for a given finite permutation group G. In this paper we prove several algebraic properties of PGM. We show that the set of PGM transformations TG is not closed under functional composition and hence not a group. This set is 2-transitive on Z jGj if the underlying group G

Abstract. We construct Bernstein sets in R having some additional algebraic properties. In particular, solving a problem of Kraszewski, RaÃlowski, Szczepa-niak and Żeberski, we construct a Bernstein set which is a < c-covering and improve some other results of RaÃlowski, Szczepaniak

We examine a bilinear form associated with a real arrangement of hyperplanes introduced in [Schechtman and Varchenko 1991]. Our main objective is to show that the linear algebraic properties of this bilinear form are related to the combinatorics and topology of the hyperplane arrangement. We

several algebraic properties and requirements on the physical units involved in the control methods for such systems.