Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

&-12345678ABCDEFGHIJKLMNOPQRSTUVWXYZ

E

Eötvös
in: Pelea C.
"Relational structures, multialgebras and inverse limits" (2004) 
Eastern
in: Georgescu G. and Voiculescu I.
"Eastern model theory for Boolean-valued theories" (1985) 
EC
in: Vaida D.
"Nekotorye rezultaty otnositelno algebraicheskikh chastichno uporyadochennykh sistem" (1964) 
ECIT
in: Pelea C. and Purdea I.
"Direct limits of direct systems of hypergroupoids associated to binary relations" (2006) 
Ecological
in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000) 
Econom
Economic
Ed
Edinburgh
Editions
in: Georgescu G.
"Les algèbres de L ukasiewicz θ -valentes" (1971) 
Editura
EFES
Effectivity
in: Calude C. and Vaida D.
"Languages, effectivity and constructive mathematics" (1988) 
Efficient
in: Hernest M.D.
"Light functional interpretation: an optimization of Gödel's technique towards the extraction of (more) efficient programs from (classical) proofs" (2005) 
Egerváry
Ehrenfeucht
in: Calude C. and Vaida D.
"Ehrenfeucht test set theorem and Hilbert basis theorem: a constructive glimpse" (1989) 
Ekonom
in: Ivănescu P. and Rudeanu S.
"Boolean methods in operations research" (1967) 
Electronic
in: Leuştean L.
"Proof mining in [mathbb] R-trees and hyperbolic spaces " (2006) 
Electronice
in: Vaida D.
"Utilizări ale calculatoarelor electronice de la Institutul de Fizică Atomică" (1961) 
Elemente
in: Purdea I.
"Elemente de teoria categoriilor" (1975) 
Elements
Elimination
in: Rudeanu S.
"On elimination in Boolean algebra" (1969) 
Emploi
in: Rudeanu S.
"L'emploi des imaginaires de Galois dans la théorie des mécanismes automatiques. X. Classification des fonctions de deux variables en GF(2[sp]2)" (1958) 
Engrg
in: Maliţa M. and Ceterchi R.
"A topological approach to learning processes" (1977) 
Ens
in: Georgescu G. and Popa E.
"La duale de Ens" (1969) 
Ensemble
in: Maurer I., Purdea I. and Virag E.
"Une topologie dans l'espace des applications univoque d'un ensemble" (1962) 
Envelopes
in: Georgescu G.
"Injective envelopes in the category of regular commutative monoids" (1971) 
Environment
Environments
in: Negoiţă C.V., Sularia M. and Flondor P.
"Optimization problem in fuzzy environments" (1978) 
Epimorphisms
in: Georgescu G.
"The centered epimorphisms and the construction of the tensor product in the category of the Lukasiewicz algebras" (1970) 
Equation
in: Rudeanu S.
"On Boolean equation" (1960) 
Equations
Equivalence
in: Sularia M.
"On Many-valued Equivalence and Distance Functions" (1999) 
Equivalent
Espace
in: Maurer I., Purdea I. and Virag E.
"Une topologie dans l'espace des applications univoque d'un ensemble" (1962) 
Estimation
in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 
Eur
European
in: Leuştean L.
"The prime and maximal spectra and the reticulation of BL-algebras" (2003) 
Eurosim
in: Sularia M. and Petre M.
"Kinetic Models of Fungal Biomass Growth and Cellulose Biodegradation" (2001) 
Evaluation
in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) 
Even
in: Flondor P. and Pascu E.
"``Even parts'' of supermanifolds are differentiable spaces" (1994) 
Every
in: Georgescu G.
"An example of a category in which every object is projective" (1973) 
Exact
in: Ioniţă C.
"Characterisation of Lawvere regular categories with exact filtered colimits and generators" (1982) 
Example
in: Georgescu G.
"An example of a category in which every object is projective" (1973) 
Exist
in: Georgescu G.
"Algebraic analysis of the logic with the quantifier ``there exist uncountably many''" (1984) 
Existence
in: Vaida D.
"Sur l'existence de solutions holomorphes de l'équation f(α z)=g(z)f(z)" (1960) 
Exponent
Expressions
in: Preoteasa V.
"A relation between unambiguous regular expressions and abstract data types" (1999) 
Extendings
in: Purdea I. and Both N.
"Many-valued extendings" (1998) 
Extension
Extensions
Extraction
in: Hernest M.D.
"Light functional interpretation: an optimization of Gödel's technique towards the extraction of (more) efficient programs from (classical) proofs" (2005) 

&-12345678ABCDEFGHIJKLMNOPQRSTUVWXYZ
 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 4.2.
Copyright © 1998-05 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!