Bibliography

Overview

Tree

Index

Bibliography

PREV NEXT

FRAMES NO FRAME

&-1 2 3 4 5 6 7 8 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

T

Tatra

in: Georgescu G. and Popescu A.
"Closure operators and concept equations in non-commutative fuzzy logic" (2003)

Tech

in: Davio M. and Rudeanu S.
"Boolean design with autodual negative gates. I" (1994)
in: Davio M. and Rudeanu S.
"Boolean design with autodual negative gates. II" (1994)

Technique

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)

Technology

in: Ceterchi R.
"On algebras with implications, categorically equivalent to pseudo-MV algebras" (1999)
in: Flondor P.
"Tolerance relations and fuzzy sets" (1999)
in: Georgescu G. and Iorgulescu A.
"Pseudo-MV algebras: a noncommutative extension of MV algebras" (1999)
in: Hernest D.
"Classical models are particular cases of probabilistic models" (1999)
in: Ioniţă C.
"Pseudo-MV algebras as semigroups" (1999)
in: Leuştean I.
"Product MV-algebras and MV*-algebras" (1999)
in: Sularia M.
"The algebraic counterpart of a symbolic logic of problem solving" (1999)
in: Vaida D.
"Ordered semirings and rings" (1999)

Telemeh

in: Negoiţă C.V., Sularia M. and Flondor P.
"Optimization problem in fuzzy environments" (1978)

Tendency

in: Melter R.A. and Rudeanu S.
"A measure for Boolean algebras of central tendency" (1981)

Tense

in: Georgescu G.
"A representation theorem for tense polyadic algebras" (1979)

Tensor

in: Flondor P. and Leuştean I.
"Tensor products of MV-algebras" (2003)
in: Georgescu G.
"The centered epimorphisms and the construction of the tensor product in the category of the Lukasiewicz algebras" (1970)

Teodorescu N.

in: Andreian Cazacu C., Mihoc G., Teodorescu N., Teodorescu P.P., Văduva I. and Rudeanu S.
"75th anniversary of the birth of Professor Gr. C. Moisil" (1981)

Teodorescu P.P.

in: Andreian Cazacu C., Mihoc G., Teodorescu N., Teodorescu P.P., Văduva I. and Rudeanu S.
"75th anniversary of the birth of Professor Gr. C. Moisil" (1981)

Teoria

in: Purdea I.
"Elemente de teoria categoriilor" (1975)

Term

in: Pelea C. and Breaz S.
"Multialgebras and term functions over the algebra of their nonvoid subsets" (2001)

Test

in: Calude C. and Vaida D.
"Ehrenfeucht test set theorem and Hilbert basis theorem: a constructive glimpse" (1989)

Teubner

in: Brînzănescu V. and Flondor P.
"Quadratic intersection form and $2$ -vector bundles on nonalgebraic surfaces" (1986)

Th

in: Sularia M.
"The algebraic counterpart of a symbolic logic of problem solving" (1999)

Théorème

in: Georgescu G.
"Une généralisation du théorème d'omission des types dans les algèbres polyadiques" (1982)
in: Georgescu G.
"Théorème de complétitude en logique $θ$ -valente" (1971)
in: Georgescu G. and Licoiu D.
"Caractérisation des catégories avec la proriété du théorème de prolongement" (1969)
in: Georgescu G. and Licoiu D.
"Les catégories ayant la propriété du théorème de prolongement" (1969)
in: Vaida D.
"Extension du théorème d'approximation de K. Weierstrass aux fonctions hyperboliques-continues à deux variables" (1956)

Théorie

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)
in: Vaida D.
"Application des imaginaires de Galois à la théorie des mécanismes automatiques. VI. Classification des évoluations des schémas à deux éléments intermédiaires" (1956)

Their

in: Ceterchi R.
"Some algebraic properties of contexts and their applications to contextual languages" (2001)
in: Ceterchi R.
"Marcus contextual languages and their cut-and-paste properties" (1998)
in: Corovei I. and Purdea I.
"Relations between the homomorphisms of semigroups and the homomorphisms of their $n$ -ary extensions" (1985)
in: Corovei I. and Purdea I.
"Relations between homomorphisms of $n$ -groups and the homomorphisms of their reduces" (1983)
in: Pelea C. and Breaz S.
"Multialgebras and term functions over the algebra of their nonvoid subsets" (2001)
in: Rudeanu S.
"Boolean equations and their applications to the study of bridg-circuits. I" (1959)

Theorem

in: Buşneag D.
"A theorem of extensions for pseudo-valuations on Hilbert algebras" (1999)
in: Buşneag D.
"A representation theorem for maximal lattice of quotients" (1995)
in: Calude C. and Vaida D.
"Ehrenfeucht test set theorem and Hilbert basis theorem: a constructive glimpse" (1989)
in: Ceterchi R.
"A localization theorem for topological categories" (1990)
in: Georgescu G. and Leuştean I.
"A representation theorem for monadic Pavelka algebras" (2000)
in: Georgescu G.
"A representation theorem for polyadic Heyting algebras" (1982)
in: Georgescu G.
"On a polyadic version of the omitting types theorem" (1980)
in: Georgescu G.
"A representation theorem for tense polyadic algebras" (1979)
in: Georgescu G.
"An omitting types theorem for polyadic algebras" (1974)
in: Georgescu G.
"An extension of a theorem of Sikorski-Monteiro" (1971)
in: Georgescu G. and Vraciu C.
"On a Gleason's theorem" (1971)
in: Pelea C. and Purdea I.
"A characterization theorem for complete multialgebras" (2004)
in: Pop M.S. and Purdea I.
"A generalization of the Zupnik's theorem relatively to $n$ -semigroups" (1988)

Theoreme

in: Purdea I.
"Sur un theoreme de Poincaré" (1971)

Theorems

in: Rudeanu S.
"On deduction theorems and functional Boolean equations" (1990)
in: Rudeanu S.
"On deduction theorems and functional Boolean equations" (1990)

Theoret

in: Hernest M.D. and Kohlenbach U.
"A complexity analysis of functional interpretations" (2005)

Theoretic

in: Crivei I., S C. and Purdea I.
"Change of ring and torsion theoretic injectivity" (2007)

Theoretical

in: Leuştean L.
"Proof mining in [mathbb] R-trees and hyperbolic spaces " (2006)

Theories

in: Georgescu G. and Voiculescu I.
"Eastern model theory for Boolean-valued theories" (1985)

Theory

in: Brown F.M. and Rudeanu S.
"A functional approach to the theory of prime implicants" (1986)
in: Brown F.M. and Rudeanu S.
"Recurrent covers and Boolean equations" (1983)
in: Georgescu G.
"Some model theory for probability structures" (2001)
in: Georgescu G. and Leuştean I.
"Towards a probability theory based on Moisil logic." (2000)
in: Georgescu G. and Voiculescu I.
"Eastern model theory for Boolean-valued theories" (1985)
in: Georgescu G.
"The theory of categories, and mathematical logic" (1973)
in: Georgescu G.
"The $θ$ -valued Lukasiewicz albebras. III. Duality theory" (1971)
in: Ivănescu P. and Rudeanu S.
"A pseudo-Boolean approach to matching problems in graphs with applications to assignment and transportation problems" (1967)
in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2007)
in: Kohlenbach U. and Leuştean L.
"Approximate fixed point property in product spaces (abstract)" (2005)
in: Kohlenbach U. and Leuştean L.
"Approximate fixed point property in product spaces (abstract)" (2005)
in: Leuştean I.
"Contributions to the theory of MV-algebras. MV-modules" (2004)
in: Melter R.A. and Rudeanu S.
"Functions characterized by functional Boolean equations" (1983)
in: Melter R.A. and Rudeanu S.
"Geometry of $3$ -rings" (1976)
in: Rudeanu S.
"Irredundant optimization of a pseudo-Boolean function" (1969)
in: Rudeanu S.
"On solving Boolean equations in the theory of graphs" (1966)
in: Rudeanu S.
"Logical dependence of certain chain conditions in lattice theory" (1964)
in: Rudeanu S.
"Independent systems of axioms in lattice theory" (1959)
in: Vaida D.
"Note on a more general setting for complemented elements. I. Remarks from semirings theory" (2006)

There

in: Georgescu G.
"Algebraic analysis of the logic with the quantifier ``there exist uncountably many''" (1984)

Three-valued

in: Iorgulescu A.
"Functors between categories of three-valued L ukasiewicz-Moisil algebras. I" (1984)
in: Iorgulescu A.
"On the construction of three-valued L ukasiewicz-Moisil algebras" (1984)
in: Leuştean L.
"Canonical models and filtrations in three-valued propositional modal logic" (2002)

Time

in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001)

Timi&

in: Georgescu G. and Voiculescu I.
"Representations of normal algebras" (1987)
in: Georgescu G. and Voiculescu I.
"Representations of normal algebras" (1987)
in: Iorgulescu A.
" $(1+θ)$ -valued L ukasiewicz-Moisil and Post algebras" (1987)
in: Iorgulescu A.
" $(1+θ)$ -valued L ukasiewicz-Moisil and Post algebras" (1987)
in: Rudeanu S.
"On deduction theorems and functional Boolean equations" (1990)
in: Rudeanu S.
"On deduction theorems and functional Boolean equations" (1990)
in: Rudeanu S.
"On deduction theorems and functional Boolean equations" (1990)

Tineret

in: Georgescu G.
"On certain types of relations on partially ordered sets" (1975)

Tipa

in: Purdea I.
"Algebrî tipa $B$ " (1971)

Tipuri

in: Purdea I. and Both N.
"Tipuri de independenţă relaţională" (1988)

Tissue-like

in: Ceterchi R., Gramatovici R., Jonoska N. and Subramanian K.G.
"Tissue-like P systems with active membranes for picture generation" (2003)

Tm-manifolds

in: Flondor P. and Pascu E.
"Some compact tm-manifolds of small type" (1996)

Tofan I.

in: Pelea C. and Purdea I.
"Direct limits of direct systems of hypergroupoids associated to binary relations" (2006)

Tolerance

in: Flondor P.
"Tolerance relations and fuzzy sets" (1999)

Tolerances

in: Maurer I., Purdea I. and Virag E.
"Tolerances on algebras" (1982)
in: Negoiţă C.V. and Sularia M.
"On fuzzy mathematical programming and tolerances in planning" (1976)
in: Purdea I. and Both N.
"Partial tolerances on groups" (1982)
in: Purdea I. and Both N.
"Tolerances" (1982)
in: Purdea I. and Both N.
" $n$ -transitive tolerances" (1981)
in: Purdea I.
"Relations de tolerances partielle" (1981)

Topics

in: Ceterchi R.
"The naturality of the semantics of recursion" (1995)
in: Vaida D.
"Iteration conditions of W. Ogden's type and applications to programming languages. II" (1995)

Topological

in: Ceterchi R.
"A localization theorem for topological categories" (1990)
in: Georgescu G.
"Algebraic analysis of the topological logic $L(I)$ " (1982)
in: Maliţa M. and Ceterchi R.
"A topological approach to learning processes" (1977)

Topologie

in: Maurer I. and Purdea I.
"Despre o topologie in mulţimea relaţiilor binare" (1964)
in: Maurer I., Purdea I. and Virag E.
"Une topologie dans l'espace des applications univoque d'un ensemble" (1962)

Topologies

in: Ioniţă C.
"Algebraic toposes and topologies" (1982)

Topologiques

in: Georgescu G. and Lungulescu B.
"Sur les propriétés topologiques des structures ordonnées" (1969)

Toposes

in: Ioniţă C.
"Algebraic toposes and topologies" (1982)

Torsion

in: Crivei I., S C. and Purdea I.
"Change of ring and torsion theoretic injectivity" (2007)

Towards

in: Georgescu G. and Leuştean I.
"Towards a probability theory based on Moisil logic." (2000)
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)

Trans

in: Rudeanu S.
"Square roots and functional decompositions of Boolean functions" (1976)
in: Rudeanu S.
"An algebraic approach to Boolean equations" (1974)

Transactions

in: Sularia M.
"Involutive Brouwerian D-algebras" (2006)

Transfer

in: Georgescu G.
"Quantales, reticulations and some transfer properties" (1995)

Transformation

in: Rudeanu S.
"Fix points of lattice and Boolean transformation" (1980)
in: Rudeanu S.
"On the range of a Boolean transformation" (1975)

Transformations

in: Rudeanu S.
"Injectivity domains of Boolean transformations" (1978)

Transitive

in: Purdea I. and Both N.
"On the $n$ -transitivity of relations and transitive elements" (1983)

Transmission

in: Negoiţă C.V. and Sularia M.
"Optimization in fuzzy environment" (1978)

Transportation

in: Ivănescu P. and Rudeanu S.
"A pseudo-Boolean approach to matching problems in graphs with applications to assignment and transportation problems" (1967)
in: Ivănescu P. and Rudeanu S.
"On the resolution of the transportation problem by the method of Egerváry. II" (1963)

Transports

in: Hammer P. and Rudeanu S.
"Sur la solution du problème des transports par la méthode de Egerváry" (1961)

Tratat

in: Purdea I.
"Tratat de algebră modernă" (1982)
in: Purdea I. and Pic G.
"Tratat de algebră modernă, vol.I" (1977)

Treillis

in: Pic G. and Purdea I.
"Quelques proprietes des treillis des relations difonctionnelles" (1968)
in: Vaida D.
"Caractérisation des treillis distributifs" (1961)

Trends

in: Ceterchi R.
"Marcus contextual languages and their cut-and-paste properties" (1998)

Triangular

in: Brown F.M. and Rudeanu S.
"Triangular reproductive solutions of Boolean equations" (1985)

Truth

in: Rudeanu S.
"On complete and precomplete clones of truth functions" (2005)

TUDelft

in: Sularia M. and Petre M.
"Kinetic Models of Fungal Biomass Growth and Cellulose Biodegradation" (2001)

Two

in: Iorgulescu A.
"On BCK algebras: Part II: New algebras. The ordinal sum (product) of two bounded BCK algebras" (2008)

Two-valued

in: Purdea I. and Both N.
"Some refinements in the two-valued logic" (1995)

Type

in: Flondor P. and Pascu E.
"Some compact tm-manifolds of small type" (1996)
in: Kohlenbach U. and Leuştean L.
"Approximate fixed point property in product spaces (abstract)" (2005)
in: Purdea I.
"Les anneaux de type $(m,n)$ I." (1975)
in: Vaida D.
"Iteration conditions of W. Ogden's type and applications to programming languages. II" (1995)

Types

in: Georgescu G.
"Une généralisation du théorème d'omission des types dans les algèbres polyadiques" (1982)
in: Georgescu G.
"On a polyadic version of the omitting types theorem" (1980)
in: Georgescu G.
"On certain types of relations on partially ordered sets" (1975)
in: Georgescu G.
"An omitting types theorem for polyadic algebras" (1974)
in: Preoteasa V.
"A relation between unambiguous regular expressions and abstract data types" (1999)
in: Purdea I. and Both N.
"Types of relational independence in universal algebras" (1986)