Berroa Liriano, Carlos Manuel(Universitat Politècnica de València, 2014-09-23)
[EN] Let X be a topological space, if we have a homomorphism Phi of C(X) in R, we denote by C(X) the algebra of continuous functions, then there exists a real Alpha such that for all f in C(X) it holds that Phi(f) = f ...
Aparicio Sánchez, Damián(Universitat Politècnica de València, 2016-09-30)
[ES] Maude-NPA es una herramienta de verificación de protocolos
criptográficos desarrollada por la University of Illinois at Urbana-
Champaign (EE.UU.), el Navy Research Laboratory en Washington D.C.
(EE.UU.) y la ...