Zobrazeno 1 - 6
of 6
pro vyhledávání: '"M. Fernandez-Lebron"'
Autor:
M. José Hidalgo-Doblado, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, M. Fernandez-Lebron, José A. Alonso-Jiménez
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
idUS: Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
instname
idUS: Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases specified by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual derivatives on polynomials (on re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26b078be9e56fe65c89ed47a4506c183
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
Let k be a perfect field of positive characteristic, k(t)_{per} the perfect closure of k(t) and A=k[[X_1,...,X_n]]. We show that for any maximal ideal N of A'=k(t)_{per}\otimes_k A, the elements in \hat{A'_N} which are annihilated by the "Taylor" Has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e8adc9514a49ea1afe3138cfb52fad4
https://doi.org/10.1016/j.jalgebra.2004.11.009
https://doi.org/10.1016/j.jalgebra.2004.11.009
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642026133
Calculemus/MKM
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
Calculemus/MKM
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful to compute the conservative retractions of propositional logic theories. In this paper we show the soundness and completeness o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ecc79df2826a81346f4ca6a373b0c2e
Publikováno v:
Journal of Algebra. (1):200-210
We show how to express any Hasse–Schmidt derivation of an algebra in terms of a finite number of them under natural hypothesis. As an application, we obtain coefficient fields of the completion of a regular local ring of positive characteristic in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6d7834a09d7feab9e9d9e26acd9f846
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.