Energy discriminant analysis, quantum logic, and fuzzy setsMELNICHENKO, Grigorii.Journal of multivariate analysis. 2010, Vol 101, Num 1, pp 68-76, issn 0047-259X, 9 p.Article

QUANTUM COHERENT SPACES AND LINEAR LOGICBARATELLA, Stefano.Informatique théorique et applications (Imprimé). 2010, Vol 44, Num 4, pp 419-441, issn 0988-3754, 23 p.Article

MAC NEILLE COMPLETION OF CENTERS AND CENTERS OF MAC NEILLE COMPLETIONS OF LATTICE EFFECT ALGEBRASKALINA, Martin.Kybernetika. 2010, Vol 46, Num 6, pp 935-947, issn 0023-5954, 13 p.Article

EVERY UNIFORMLY ARCHIMEDEAN ATOMIC MV―EFFECT ALGEBRA IS SHARPLY DOMINATINGOLEJCEK, Vladimír.Kybernetika. 2010, Vol 46, Num 6, pp 948-952, issn 0023-5954, 5 p.Article

Quantifier-free logic for nondeterministic theoriesLAMO, Yngve; WALICKI, Michal.Theoretical computer science. 2006, Vol 355, Num 2, pp 215-227, issn 0304-3975, 13 p.Article

Partial quasi-metricsKÜNZI, H.-P. A; PAJOOHESH, H; SCHELLEKENS, M. P et al.Theoretical computer science. 2006, Vol 365, Num 3, pp 237-246, issn 0304-3975, 10 p.Conference Paper

Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday)Futatsugi, Kokichi; Jouannaud, Jean-Pierre; Meseguer, José et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-35462-X, 1Vol, XXXVIII-642 p, isbn 3-540-35462-XBook

Iterative Lexicographic Path OrdersWILLEM KLOP, Jan; VAN OOSTROM, Vincent; DE VRIJER, Roel et al.Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday). Lecture notes in computer science. 2006, pp 541-554, issn 0302-9743, isbn 3-540-35462-X, 1Vol, 14 p.Book Chapter

Duality theory for projective algebrasURQUHART, Alasdair.Lecture notes in computer science. 2006, pp 33-47, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 15 p.Conference Paper

Non-termination in unifying theories of programmingGUTTMANN, Walter.Lecture notes in computer science. 2006, pp 108-120, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 13 p.Conference Paper

Static analysis of programs using omega algebra with testsBOLDUC, Claude; DESHARNAIS, Jules.Lecture notes in computer science. 2006, pp 60-72, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 13 p.Conference Paper

Compact orthoalgebrasWILCE, Alexander.Proceedings of the American Mathematical Society. 2005, Vol 133, Num 10, pp 2911-2920, issn 0002-9939, 10 p.Article

Fuzzy Boolean and positive implicative filters of BL-algebrasLIU LIANZHEN; LI KAITAI.Fuzzy sets and systems. 2005, Vol 152, Num 2, pp 333-348, issn 0165-0114, 16 p.Article

LM_n-algebra of fractions and maximal LM_n-algebra of fractionsBUSNEAG, Dumitru; CHIRTES, Florentina.Discrete mathematics. 2005, Vol 296, Num 2-3, pp 143-165, issn 0012-365X, 23 p.Article

Default reasoning over domains and concept hierarchiesHITZLER, Pascal.Lecture notes in computer science. 2004, pp 351-365, issn 0302-9743, isbn 3-540-23166-8, 15 p.Conference Paper

A true unprovable formula of fuzzy predicate logicHAJEK, Petr.Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday. Lecture notes in computer science. 2004, pp 1-5, issn 0302-9743, isbn 3-540-22562-5, 5 p.Book Chapter

The computation of hitting sets: Review and new algorithmsLI LIN; YUNFEI JIANG.Information processing letters. 2003, Vol 86, Num 4, pp 177-184, issn 0020-0190, 8 p.Article

Two-level multiple-output logic minimization using a single functionRUSHDI, Ali M; BA-RUKAB, Omar M.International journal of computer mathematics. 2003, Vol 80, Num 8, pp 979-985, issn 0020-7160, 7 p.Article

Comparison of two algorithms for simplifying disjunctive normal formsYUDAEV, P. V.Computational mathematics and mathematical physics. 2002, Vol 42, Num 2, pp 257-260, issn 0965-5425Article

Computable homogeneous Boolean algebrasALAEV, P. E.Doklady. Mathematics. 2002, Vol 66, Num 3, pp 362-364, issn 1064-5624, 3 p.Article

Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rulesPYNKO, Alexej P.Fuzzy sets and systems. 2002, Vol 129, Num 2, pp 255-265, issn 0165-0114Article

Théories o-minimales avec un automorphisme = o-minimal theories with an automorphismDUBY, Grégory.Comptes rendus. Mathématique. 2002, Vol 335, Num 5, pp 417-420, issn 1631-073XArticle

Classifications of hyper BCK-algebras of order 3BORZOOEI, R. A; REZAEI, H; ZAHEDI, M. M et al.Italian journal of pure and applied mathematics. 2002, Num 12, pp 175-184, issn 1126-8042, 10 p.Article

CMCS'02 : coalgebraic methods in computer science (Grenoble, 6-7 April 2002)Moss, Lawrence S.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopWorkshop on coalgebraic methods in computer science. 2002, 256 p.Conference Proceedings

Using variable-entered karnaugh maps to solve boolean equationsRUSHDI, Ali M.International journal of computer mathematics. 2001, Vol 78, Num 1, pp 23-38, issn 0020-7160Article