Algebras with actions and automata

Autor: W. Kühnel, M. Pfender, J. Meseguer, I. Sols

Publikováno v: International Journal of Mathematics and Mathematical Sciences, Vol 5, Iss 1, Pp 61-85 (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 partic

Externí odkaz: https://doaj.org/article/3fd825ff065d4bfcb53eea31d128caae

Human Photosynthesis and Alzheimer’s Disease

Autor: Jerzy Leszek, Martha P. Sols-Arias, Mara del Carmen Arias Esparza, Ruth I. Sols-Arias, Paola E. Sols-Arias, Arturo Sols Herrera

Publikováno v: Pharmaceutica Analytica Acta.

More than 100 years have passed by since the first description of AD by Alois Alzheimer; however the patients are dying in the same way. Our discovery of the hitherto unknown capacity of the human body to split the water molecule breaks the paradigm.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::aca2e1903fc2e3b69db5c2d2b1e35f70
https://doi.org/10.4172/2153-2435.s15-005

Primitive recursive algebraic theories and program schemes

Autor: José Meseguer, I. Sols, Wolfgang Kühnel, Michael Pfender

Publikováno v: Bulletin of the Australian Mathematical Society. 17:207-233

We introduce primitive recursion as a generation process for arrows of algebraic theories in the sense of Lawvere and carry over important results on algebraic theories and functorial semantics to the enriched setting of “primitive recursive algebr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::e67d57ad24100fb7d42051e86bd6a86d
https://doi.org/10.1017/s0004972700010431

Algebras with actions and automata

Autor: Wolfgang Kühnel, I. Sols, José Meseguer, Michael Pfender

Publikováno v: E-Prints Complutense. Archivo Institucional de la UCM
instname
E-Prints Complutense: Archivo Institucional de la UCM
Universidad Complutense de Madrid
International Journal of Mathematics and Mathematical Sciences, Vol 5, Iss 1, Pp 61-85 (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 particu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::35408bb49ec8cba343b40855f6ae8caa

On regular and stable ruled surfaces in P3

Autor: E. Arrondo, I. Sols, M. Pedreira

Publikováno v: Lecture Notes in Mathematics ISBN: 9783540515098

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::7a7a7ac6756d23c23d6f45a6daa1b64a
https://doi.org/10.1007/bfb0085919