Force implication: a new approach to human reasoningDUJET, C; VINCENT, N.Fuzzy sets and systems. 1995, Vol 69, Num 1, pp 53-63, issn 0165-0114Article

The difference, symmetric difference and σ-rings of fuzzy setsSURYANSU RAY.Fuzzy sets and systems. 1992, Vol 50, Num 3, pp 315-329, issn 0165-0114Article

Worst-case hardness suffices for derandomization : A new method for hardness-randomness trade-offsANDREEV, A. E; CLEMENTI, A. E. F; ROLIM, J. D. P et al.Lecture notes in computer science. 1997, pp 177-187, issn 0302-9743, isbn 3-540-63165-8Conference Paper

Theory of fault-based predicate testing for computer programsTAI, K.-C.IEEE transactions on software engineering. 1996, Vol 22, Num 8, pp 552-562, issn 0098-5589Article

Non-monotonic probability theory and photon polarizationKRONZ, Fred.Journal of philosophical logic. 2007, Vol 36, Num 4, pp 449-472, issn 0022-3611, 24 p.Article

CLOSURE BOOLEAN OPERATIONS ON GEOMETRIC ENTITIESTILOVE RB; REQUICHA AAG.1980; COMPUT. AIDED DES.; ISSN 0010-4485; GBR; DA. 1980; VOL. 12; NO 5; PP. 219-220; BIBL. 10 REF.Article

The ∃∀² fragment of the first-order theory of atomic set constraints is Π₁⁰-hardTALBOT, J.-M.Information processing letters. 2000, Vol 74, Num 1-2, pp 27-33, issn 0020-0190Article

The parallel complexity of propagation in Boolean circuitsASHOK SUBRAMANIAN.Information and computation (Print). 1995, Vol 117, Num 2, pp 266-275, issn 0890-5401Article

DDDLIB: A library for solving quantified difference inequalitiesMILLER, Jesper B.Lecture notes in computer science. 2002, pp 129-133, issn 0302-9743, isbn 3-540-43931-5, 5 p.Conference Paper

Learning disjunctions of featuresKWEK, S.Lecture notes in computer science. 1997, pp 401-415, issn 0302-9743, isbn 3-540-63577-7Conference Paper

New operations defined over the intuitionistic fuzzy setsATANASSOV, K. T.Fuzzy sets and systems. 1994, Vol 61, Num 2, pp 137-142, issn 0165-0114Article

Fuzzy connectives via matrix logicFODOR, J. C.Fuzzy sets and systems. 1993, Vol 56, Num 1, pp 67-77, issn 0165-0114Article

Parallel boolean operations for information retrievalABDULLA BATAINEH; OZGUNER, F; SARWAL, A et al.Information processing letters. 1991, Vol 39, Num 2, pp 99-108, issn 0020-0190Article

The boolean hierarchy. II: ApplicationsJIN-YI CAI; GUNDERMANN, T; HARTMANIS, J et al.SIAM journal on computing (Print). 1989, Vol 18, Num 1, pp 95-111, issn 0097-5397Article

Realizing the Boolean operations in solid modeling technique via directed loopsDECHANG MA; RONGXI TANG.Computers & graphics. 1988, Vol 12, Num 3-4, pp 319-322, issn 0097-8493Article

New features of the Web indexesNOTESS, G. R.Online (Weston, CT). 1997, Vol 21, Num 5, pp 52-55, issn 0146-5422Article

Equations with fuzzy numbersBIACINO, L; LETTIERI, A.Information sciences. 1989, Vol 47, Num 1, pp 63-76, issn 0020-0255Article

A fast simulation model for traffic flow on the basis of boolean operationsCREMER, M; LUDWIG, J.Mathematics and computers in simulation. 1986, Vol 28, Num 4, pp 297-303, issn 0378-4754Article

Properties of topologies of information retrieval systemsEGGHE, L.Mathematical and computer modelling. 1998, Vol 27, Num 2, pp 61-79, issn 0895-7177Article

An undecidable fragment of the theory of set constraintsCHARATONIK, W.Information processing letters. 1998, Vol 68, Num 3, pp 147-151, issn 0020-0190Article

Term rewrite systems to derive set boolean operations on 2D objectsCAZIER, D; DUFOURD, J.-F.Lecture notes in computer science. 1997, pp 605-623, issn 0302-9743, isbn 3-540-63533-5Conference Paper

P-selectivity: intersections and indicesHEMASPAANDRA, L. A; ZHIGEN JIANG.Theoretical computer science. 1995, Vol 145, Num 1-2, pp 371-380, issn 0304-3975Article

Développement d'outils destinés à la modélisation des échanges radiatifs dans des enceintes de géométrie complexe. Calcul des facteurs de forme en présence d'obstacles = Algorithms for calculating radiation view factors in complex cavities with obstructionsMavroulakis, Andreas; Trombe, A.1995, 120 p.Thesis

The boolean hierarchy I: Structural propertiesJIN-YI CAI; GUNDERMANN, T; HARTMANIS, J et al.SIAM journal on computing (Print). 1988, Vol 17, Num 6, pp 1232-1252, issn 0097-5397Article

The Marriage Proposals Problem: Fair and efficient solution for two-party computationsMONTREUIL, Audrey; PATARIN, Jacques.Lecture notes in computer science. 2004, pp 33-47, issn 0302-9743, isbn 3-540-24130-2, 15 p.Conference Paper