texto impreso

Algebras with actions and automata

Kühnel, Wolfgang ; Pfender, Michael ; Meseguer Guaita, José ; Sols, Ignacio | Hindawi Publishing Corporation | 1982

In the present paper we want to give a common structure theory of left action, group operations, R-modules and automata of different types defined over various kinds of carrier objects: sets, graphs, presheaves, sheaves, topological spaces (in p[...]

Más información...

Añadir a la cesta

Ningún comentario para este registro.

En línea:

texto impreso

Primitive recursive algebraic theories and program schemes

Kühnel, W. ; Meseguer Guaita, José ; Pfender, Michael ; Sols, Ignacio | Cambridge University Press | 1977

Más información...

Añadir a la cesta

Ningún comentario para este registro.

En línea:

texto impreso

Primitive recursive algebraic theories with applications to program schemes

K?ühnel, W. ; Meseguer Guaita, José ; Pfender, Michael ; Sols, Ignacio | NUMDAM (Numérisation de Documents Anciens Mathématiques) | 1975

Más información...

Añadir a la cesta

Ningún comentario para este registro.