Normal forms for fuzzy logic functions and their approximation abilityPERFILIEVA, Irina.Fuzzy sets and systems. 2001, Vol 124, Num 3, pp 371-384, issn 0165-0114Article

Backward induction, normal form perfection and explicable equilibriaRENY, P. J.Econometrica. 1992, Vol 60, Num 3, pp 627-649, issn 0012-9682Article

A note on relation schemes which are in 3NF but not in BCNFVINCENT, M. W; SRINIVASAN, B.Information processing letters. 1993, Vol 48, Num 6, pp 281-283, issn 0020-0190Article

Construction of disjunctive normal forms in problems of pattern recognition with binary informationD'YAKONOV, A. G.Doklady. Mathematics. 2002, Vol 65, Num 2, pp 321-323, issn 1064-5624Article

Some observations on the minimal Armstrong relations for normalized relation schemesDEMETROVICS, J; VI DUC THI.Computers and artificial intelligence. 1995, Vol 14, Num 5, pp 455-467, issn 0232-0274Article

Maximum renamable Horn sub-CNFs : The Satisfiability ProblemBOROS, E.Discrete applied mathematics. 1999, Vol 96-97, pp 29-40, issn 0166-218XArticle

The invariant factors of the incidence matrices of points and subspaces in PG(n,q) and AG(n,q)CHANDLER, David B; SIN, Peter; QING XIANG et al.Transactions of the American Mathematical Society. 2006, Vol 358, Num 11, pp 4935-4957, issn 0002-9947, 23 p.Article

Space bounds for resolutionESTEBAN, Juan Luis; TORAN, Jacobo.Information and computation (Print). 2001, Vol 171, Num 1, pp 84-97, issn 0890-5401Article

How do more golay sequences arise?FIEDLER, Frank; JEDWAB, Jonathan.IEEE transactions on information theory. 2006, Vol 52, Num 9, pp 4261-4266, issn 0018-9448, 6 p.Article

Reversibility and quasi-homogeneous normal forms of vector fieldsALGABA, A; GARCIA, C; TEIXEIRA, M. A et al.Nonlinear analysis. 2010, Vol 73, Num 2, pp 510-525, issn 0362-546X, 16 p.Article

The search for a reduction in combinatory logic equivalent to λβ-reductionSELDIN, Jonathan P.Theoretical computer science. 2011, Vol 412, Num 37, pp 4905-4918, issn 0304-3975, 14 p.Article

Binary Higher Order Neural Networks for Realizing Boolean FunctionsCHAO ZHANG; JIE YANG; WEI WU et al.IEEE transactions on neural networks. 2011, Vol 22, Num 5, pp 701-713, issn 1045-9227, 13 p.Article

The unique role of the lukasiewicz-triplet in the theory of fuzzified normal formsMAES, Koen; DE BAETS, Bernard; FODOR, Janos et al.Fuzzy sets and systems. 2005, Vol 153, Num 2, pp 161-179, issn 0165-0114, 19 p.Article

Monotone term decision listsGUIJARRO, David; LAVIN, Victor; RAGHAVAN, Vijay et al.Theoretical computer science. 2001, Vol 259, Num 1-2, pp 549-575, issn 0304-3975Article

Infinitary normalizationKLOP, Jan Willem; DE VRIJER, Roel.Report - Software engineering. 2005, Num 16, pp 1-24, issn 1386-369X, 24 p.Article

Normal proofs and their grammarTAKAHASHI, M; AKAMA, Y; HIROKAWA, S et al.Information and computation (Print). 1996, Vol 125, Num 2, pp 144-153, issn 0890-5401Article

Décompositions successives de la forme normale d'un surréel et généralisation des ε-nombres = Successive decomposition of the normal form of a surreal and generalization of ε-nombersLEMIRE, D.Annales des sciences mathématiques du Québec. 1997, Vol 21, Num 2, pp 133-146, issn 0707-9109Article

The normal form of Borel sets. I: Borel sets of finite rankDUPARC, J.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1995, Vol 320, Num 6, pp 651-656, issn 0764-4442Article

Birkhoff-Gustavson normal form and the semiclassical energies of a double pendulumALI, M. K; KIPP, S. S.Journal of physics. A, mathematical and general. 1994, Vol 27, Num 6, pp 1953-1966, issn 0305-4470Article

Deep inference and its normal form of derivationsBRÜNNLER, Kai.Lecture notes in computer science. 2006, pp 65-74, issn 0302-9743, isbn 3-540-35466-2, 1Vol, 10 p.Conference Paper

On the stability semantics of combinational programsVAN DUNG, Tran.Lecture notes in computer science. 2005, pp 180-194, issn 0302-9743, isbn 3-540-29107-5, 1Vol, 15 p.Conference Paper

Uniform operatorsSOSKOV, Ivan N.Lecture notes in computer science. 2005, pp 441-450, issn 0302-9743, isbn 3-540-26179-6, 10 p.Conference Paper

The classification of curvilinear angles in the complex plane and the groups of ± holomorphic diffeomorphismsNAKAI, I.Annales de la faculté des sciences de Toulouse. 1998, Vol 7, Num 2, pp 313-334, issn 0240-2963Article

ETUDE DES DISTRIBUTIONS VERIFIANTS LA CONDITION DE GOURSAT = ON THE DISTRIBUTIONS VERIFYING THE GOURSAT CONDITIONCheaito, Mohamad; Grifona, Joseph.1998, 70 p.Thesis

Generalized Hex and logical characterizations of polynomial spaceARRATIA-QUESADA, A. A; STEWART, I. A.Information processing letters. 1997, Vol 63, Num 3, pp 147-152, issn 0020-0190Article