On the succinctness of some modal logicsFRENCH, Tim; DER HOEK, Wiebe Van; ILIEV, Petar et al.Artificial intelligence (General ed.). 2013, Vol 197, pp 56-85, issn 0004-3702, 30 p.Article

Judgmental subtyping systems with intersection types and modal typesJEONGBONG SEO; SUNGWOO PARK.Acta informatica. 2013, Vol 50, Num 7-8, pp 359-380, issn 0001-5903, 22 p.Article

UN CADRE FORMEL ISSU DE LA THÉORIE DE LA DÉMONSTRATION POUR LA THÉORIE DE L'ARGUMENTATION = A proof theoretical framework for argumentation modelingFOUQUERE, Christophe; QUATRINI, Myriam.Mathématiques et sciences humaines (2000). 2012, Num 198, pp 49-83, issn 0987-6936, 35 p.Article

A CHARACTERISATION OF ANTI-LÖWNER FUNCTIONSAUDENAERT, Koenraad M. R.Proceedings of the American Mathematical Society. 2011, Vol 139, Num 12, pp 4217-4223, issn 0002-9939, 7 p.Article

Applying a general regression neural network for predicting development effort of short-scale programsLOPEZ-MARTIN, Cuauhtemoc.Neural computing & applications (Print). 2011, Vol 20, Num 3, pp 389-401, issn 0941-0643, 13 p.Article

Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-normPEROVIC, Aleksandar; OGNJANOVIC, Zoran; RASKOVIC, Miodrag et al.Fuzzy sets and systems. 2011, Vol 169, Num 1, pp 65-90, issn 0165-0114, 26 p.Article

Implementation of CMOS flexible fuzzy logic controller chip in current modeGHEYSARI, Kazem; MASHOUFI, Behboud.Fuzzy sets and systems. 2011, Vol 185, Num 1, pp 125-137, issn 0165-0114, 13 p.Article

Introduction to clarithmetic IJAPARIDZE, Giorgi.Information and computation (Print). 2011, Vol 209, Num 10, pp 1312-1354, issn 0890-5401, 43 p.Article

On the consistency, expressiveness, and precision of partial modeling formalismsOU WEI; GURFINKEL, Arie; CHECHIK, Marsha et al.Information and computation (Print). 2011, Vol 209, Num 1, pp 20-47, issn 0890-5401, 28 p.Article

On the elimination of quantifier-free cutsWELLER, Daniel.Theoretical computer science. 2011, Vol 412, Num 49, pp 6843-6854, issn 0304-3975, 12 p.Article

OPÉRATEURS ASPECTO-TEMPORELS ET LOGIQUE COMBINATOIRE = Aspecto-temporal operators and combinatory logicDESCLES, Jean-Pierre; RO, Hee-Jin.Mathématiques et sciences humaines (2000). 2011, Num 194, pp 39-70, issn 0987-6936, 32 p.Article

CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networksMATEESCU, Radu; MONTEIRO, Pedro T; DUMAS, Estelle et al.Theoretical computer science. 2011, Vol 412, Num 26, pp 2854-2883, issn 0304-3975, 30 p.Article

Cut-free Gentzen calculus for multimodal CKMENDLER, Michael; SCHEELE, Stephan.Information and computation (Print). 2011, Vol 209, Num 12, pp 1465-1490, issn 0890-5401, 26 p.Article

Expressiveness of propositional projection temporal logic with starCONG TIAN; ZHENHUA DUAN.Theoretical computer science. 2011, Vol 412, Num 18, pp 1729-1744, issn 0304-3975, 16 p.Conference Paper

On Malliavin's proof of Hörmander's theoremHAIRER, Martin.Bulletin des sciences mathématiques (Paris. 1885). 2011, Vol 135, Num 6-7, pp 650-666, issn 0007-4497, 17 p.Conference Paper

A linear homogeneous partial differential equation with entire solutions represented by Bessel polynomialsHU, Pei-Chu; YANG, Chung-Chun.Journal of mathematical analysis and applications. 2010, Vol 368, Num 1, pp 263-280, issn 0022-247X, 18 p.Article

A neural-fuzzy modelling framework based on granular computing: Concepts and applicationsPANOUTSOS, George; MAHFOUF, Mahdi.Fuzzy sets and systems. 2010, Vol 161, Num 21, pp 2808-2830, issn 0165-0114, 23 p.Article

Applications of propositional logic to workflow analysisCRAVO, Glória.Applied mathematics letters. 2010, Vol 23, Num 3, pp 272-276, issn 0893-9659, 5 p.Article

Categorical approaches to non-commutative fuzzy logicNEFF STOUT, Lawrence.Fuzzy sets and systems. 2010, Vol 161, Num 18, pp 2462-2478, issn 0165-0114, 17 p.Article

On generic context lemmas for higher-order calculi with sharingSCHMIDT-SCHAUSS, Manfred; SABEL, David.Theoretical computer science. 2010, Vol 411, Num 11-13, pp 1521-1541, issn 0304-3975, 21 p.Article

On the complexities of consistency checking for restricted UML class diagramsKANEIWA, Ken; SATOH, Ken.Theoretical computer science. 2010, Vol 411, Num 2, pp 301-323, issn 0304-3975, 23 p.Article

Rules admissible in transitive temporal logic T_S4, sufficient conditionRYBAKOV, Vladimir.Theoretical computer science. 2010, Vol 411, Num 50, pp 4323-4332, issn 0304-3975, 10 p.Article

Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculiMANN, Matthias; SCHMIDT-SCHAUSS, Manfred.Information and computation (Print). 2010, Vol 208, Num 3, pp 276-291, issn 0890-5401, 16 p.Article

On expansions of WNM t-norm based logics with truth-constantsESTEVA, Francesc; GODO, Lluís; NOGUERA, Carles et al.Fuzzy sets and systems. 2010, Vol 161, Num 3, pp 347-368, issn 0165-0114, 22 p.Article

Fuzzy sets and geometric logicVICKERS, Steven.Fuzzy sets and systems. 2010, Vol 161, Num 9, pp 1175-1204, issn 0165-0114, 30 p.Article