搜索页_+Boolean+algebras

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

在“Elsevier电子期刊”中，命中：227条，耗时：0.0199904 秒

在所有数据库中总计命中：463条

1.States of finite GBL-algebras with monoidal sum

作者：Tommaso Flaminio ^{tommaso.flaminio@uninsubria.it} ; Brunella Gerla ^{brunella.gerla@uninsubria.it} ; Francesco Marigo ; ^{francesco.marigo@uninsubria.it}

关键词：Residuated lattices ; GBL-algebras ; Weighted posets ; States

刊名：Fuzzy Sets and Systems

出版年：2017

2.Results on equality algebras

作者：F. Zebardast^a ; ^{zebardastfathme@gmail.com} ; R.A. Borzooei^b ; ^{borzooei@sbu.ac.ir} ; M. Aaly Kologani^b ; ^{mona4011@gmail.com}

关键词：Equality algebra ; Residuated lattice ; MTL-algebra ; BL-algebra ; MV-algebra ; Hertz-algebra ; Heyting-algebra ; Boolean-algebra ; EQ-algebra ; Hoop-algebra

刊名：Information Sciences

出版年：2017

3.AF inverse monoids and the structure of countable MV-algebras

作者：Mark V. Lawson^a ; ^{m.v.lawson@hw.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Philip Scott^b ; ^{phil@site.uottawa.ca" class="auth_mail" title="E-mail the corresponding author}

刊名：Journal of Pure and Applied Algebra

出版年：2017

4.The lattice of prefilters of an EQ-algebra

作者：Neda Mohtashamnia ^{nmohtashamniya@yahoo.com} ; Lida Torkzadeh ; ^{ltorkzadeh@yahoo.com}

关键词：EQ-algebra ; Boolean algebra ; Heyting algebra

刊名：Fuzzy Sets and Systems

出版年：2017

5.Two function algebras defining functions in boolean circuits

作者：Guillaume Bonfante^a ; ¹ ; ^{bonfante@loria.fr" class="auth_mail" title="E-mail the corresponding author} ; Reinhard Kahle^b ; ² ; ^{kahle@mat.uc.pt" class="auth_mail" title="E-mail the corresponding author} ; Jean-Yves Marion^a ; ¹ ; ^{jean-yves.marion@loria.fr" class="auth_mail" title="E-mail the corresponding author} ; Isabel Oitavem^b ; ² ; ^{oitavem@fct.unl.pt" class="auth_mail" title="E-mail the corresponding author}

关键词：Boolean circuits ; NCkNCk ; Parallel computation class ; Transducers

刊名：Information and Computation

出版年：2016

6.On Boolean algebras related to σ-ideals generated by compact sets

作者：R. Pol ^{pol@mimuw.edu.pl" class="auth_mail" title="E-mail the corresponding author} ; P. Zakrzewski ; ^{piotrzak@mimuw.edu.pl" class="auth_mail" title="E-mail the corresponding author}

关键词：03E15 ; 54H05 ; 28A78

刊名：Advances in Mathematics

出版年：2016

7.Least V-quasivarieties of MV-algebras

作者：Joan Gispert¹ ; ^{jgispertb@ub.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：MV-algebras ; Quasivariety ; V-quasivariety ; Free MV-algebra

刊名：Fuzzy Sets and Systems

出版年：2016

8.Two Cardinal inequalities about bidiscrete systems

作者：Clayton Suguio Hida¹ ; ^{suguio@ime.usp.br" class="auth_mail" title="E-mail the corresponding author}

关键词：Bidiscrete systems ; Compact spaces ; Boolean algebras ; Biorthogonal systems ; Hereditarily Lindelof degree

刊名：Topology and its Applications

出版年：2016

9.Term satisfiability in FL_ew-algebras

作者：Zuzana Haniková ; ; ^{hanikova@cs.cas.cz" class="auth_mail" title="E-mail the corresponding author} ; Petr Savický ; ^{savicky@cs.cas.cz" class="auth_mail" title="E-mail the corresponding author}

关键词：Substructural logic ; FLewFLew-algebra ; MV-algebra ; Satisfiability ; Computational complexity

刊名：Theoretical Computer Science

出版年：2016

10.An algebraic approach to computations with progress

作者：Walter Guttmann ^{walter.guttmann@canterbury.ac.nz" class="auth_mail" title="E-mail the corresponding author}

关键词：Approximation order ; Axiomatic program semantics ; Iteration algebras ; Relations ; Time ; Traces

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2016

按检索点细分(227)

题名(59)

关键词(37)

文摘(181)

按出版年细分(227)

2027年及以后(2)

2017年(4)

2016年(11)

2015年(2)

2013年(12)

2012年(6)

2011年(13)

2010年(7)

2009年(11)

2008年(14)

2007年(8)

2006年(13)

2005年(14)

2004年(11)

2003年(17)

2002年(6)

2001年(14)

2000年(13)

2000年及以前(49)