搜索页_+Monadic+operators

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

SpringerLink电子期刊(25)

ProQuest学位论文(1)

Elsevier电子期刊(14)

在“Elsevier电子期刊”中，命中：14条，耗时：小于0.01 秒

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

1.Operators on Pavelka's algebras induced by fuzzy relations

作者：Michal Botur ; ¹ ; ^{michal.botur@upol.cz" class="auth_mail" title="E-mail the corresponding author}

关键词：Galois connection ; Fuzzy relation ; Tense operators ; Monadic operators ; Residuated lattice ; Pavelka's algebra

刊名：Fuzzy Sets and Systems

出版年：2016

2.The Shuffle Quasimonad and Modules with Differentiation and Integration

作者：Marc Bagnol ; Richard Blute

关键词：Linear Logic ; Differential Categories ; Rota-Baxter Algebras

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

3.A coinductive calculus for asynchronous side-effecting processes

作者：Sergey Goncharov ; Lutz Schr枚der

关键词：Corecursive scheme ; Computational monad ; Process algebra ; Coinduction ; Computational meta-language

刊名：Information and Computation

出版年：October, 2013

4.Adding fuzziness to terms and powerobjects using a monadic approach

作者：Patrik Eklund^a ; ^{peklund@cs.umu.se} ; Jari Kortelainen^b ; ^{jari.kortelainen@mamk.fi} ; Lawrence Neff Stout^c ; ^{lstout@iwu.edu}

关键词：Generalised terms ; Monad ; Non-classical logic

刊名：Fuzzy Sets and Systems

出版年：2012

5.Bounded linear-time temporal logic: A proof-theoretic investigation

作者：Norihiro Kamide ^{drnkamide08@kpd.biglobe.ne.jp}

关键词：03B44 ; 03B45 ; 03F05

刊名：Annals of Pure and Applied Logic

出版年：2012

6.The proof monad

作者：Florent Kirchner ; Cé ; sar Muñ ; oz

关键词：Proof languages ; Deductive strategies ; Category theory ; Monadic structures

刊名：Journal of Logic and Algebraic Programming

出版年：2010

7.Decidability of a Hybrid Duration Calculus

作者：Thomas Bol ; er ; Jens Ulrik Hansen ; Michael R. Hansen

关键词：Duration calculus ; hybrid logic ; decision methods ; monadic second order theory of order

刊名：Electronic Notes in Theoretical Computer Science

出版年：2007

8.An automata-theoretic approach to constraint LTL

作者：Sté ; phane Demri ; Deepak D’ ; Souza

关键词：Temporal logic ; Logics of space and time ; Model-checking

刊名：Information and Computation

出版年：2007

9.On the complexity of the two-variable guarded fragment with transitive guards

作者：Emanuel Kieroń ; ski

关键词：Guarded fragment ; Transitivity ; Computational complexity ; First order logic ; Satisfiability

刊名：Information and Computation

出版年：2006

10.Fusion of recursive programs with computational effects

作者：Pardo ; Alberto

关键词：Deforestation ; Program fusion ; Recursive operators ; Effects ; Monads

刊名：Theoretical Computer Science

出版年：2001

1

2

按检索点细分(14)

关键词(1)

文摘(12)

按出版年细分(14)

2027年及以后(1)

2016年(2)

2012年(2)

2010年(1)

2007年(2)

2006年(1)

2004年(1)

2002年(1)

2001年(1)

2000年及以前(2)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700