搜索页_+68Q70

设为首页

收藏本站

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

Elsevier电子期刊(22)

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

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

1.Rational digit systems over finite fields and Christol's Theorem

作者：Manuel Joseph C. Loquias^a ; ^b ; ^{mjcloquias@math.upd.edu.ph" class="auth_mail" title="E-mail the corresponding author} ; Mohamed Mkaouar^c ; ^{mohamed.mkaouar@fss.rnu.tn" class="auth_mail" title="E-mail the corresponding author} ; Klaus Scheicher^d ; ^{klaus.scheicher@boku.ac.at" class="auth_mail" title="E-mail the corresponding author} ; Jö ; rg M. Thuswaldner^a ; ^{joerg.thuswaldner@unileoben.ac.at" class="auth_mail" title="E-mail the corresponding author}

关键词：primary ; 11A63 ; 68Q70 ; secondary ; 11B85

刊名：Journal of Number Theory

出版年：2017

2.Orbit automata as a new tool to attack the order problem in automaton groups

作者：Ines Klimann^a ; ¹ ; ^{klimann@liafa.univ-paris-diderot.fr" class="auth_mail" title="E-mail the corresponding author} ; Matthieu Picantin^a ; ¹ ; ^{picantin@liafa.univ-paris-diderot.fr" class="auth_mail" title="E-mail the corresponding author} ; Dmytro Savchuk^b ; ¹ ; ² ; ^{savchuk@usf.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：20E08 ; 20F10 ; 20K15 ; 68Q70

刊名：Journal of Algebra

出版年：2016

3.Stream processing coalgebraically

作者：Milad Niqui ; Jan J.M.M. Rutten

关键词：11B85 ; 68Q70 ; 68Q85 ; 11B57

刊名：Science of Computer Programming

出版年：2013

4.Free inductive K-semialgebras

作者：Z. É ; sik^a ; ^{ze@inf.u-szeged.hu} ; W. Kuich^b

关键词：68Q70 ; 06F99 ; 08A99

刊名：Journal of Logic and Algebraic Programming

出版年：2013

5.A bialgebraic approach to automata and formal language theory

作者：James Worthington ^{worthing@math.cornell.edu}

关键词：18B20 ; 08A70 ; 68Q70

刊名：Annals of Pure and Applied Logic

出版年：2012

6.A synthetic theory of sequential domains

作者：Bernhard Reus^a ; ^{bernhard@sussex.ac.uk} ; Thomas Streicher^b ; ^{streicher@mathematik.tu-darmstadt.de}

关键词：68Q10 ; 68Q55 ; 68Q70

刊名：Annals of Pure and Applied Logic

出版年：2012

7.Upper set monoids and length preserving morphisms

作者：Antonio Cano^a ; Jean-É ; ric Pin^b ; ^{Jean-Eric.pin@liafa.jussieu.fr}

关键词：68Q70 ; 20M35 ; 20M07

刊名：Journal of Pure and Applied Algebra

出版年：2012

8.CCS with Hennessy's merge has no finite-equational axiomatization

作者：Aceto ; Luca ; Fokkink ; Wan ; Ingó ; lfsdó ; ttir ; Anna ; Luttik ; Bas

关键词：08A70 ; 03B45 ; 03C05 ; 68Q10 ; 68Q45 ; 68Q55 ; 68Q70 ; Concurrency ; Process algebra ; CCS ; Bisimulation ; Hennessy's merge ; Left merge ; Communication merge ; Equational logic ; Complete axiomatizations ; Non-finitely based algebras

刊名：Theoretical Computer Science

出版年：2005

9.Abstract Behavior Types: a foundation model for components and their composition

作者：Arbab ; Farhad

关键词：68Q85 ; 68Q70 ; 81P05 ; 68N99 ; 68Q65 ; 18C50 ; 68Q10 ; 68Q65 ; Coordination ; Components ; Composition ; Abstract Behavior Types ; Reo ; Coalgebraic semantics ; Streams

刊名：Science of Computer Programming

出版年：2005

10.Nested semantics over finite trees are equationally hard

作者：Aceto ; Luca ; Fokkink ; Wan ; van Glabbeek ; Rob ; Ingó ; lfsdó ; ttir ; Anna

关键词：08A70 ; 03B45 ; 03C05 ; 68Q10 ; 68Q45 ; 68Q55 ; 68Q70 ; Concurrency ; Process algebra ; BCCSP ; Nested simulation ; Possible futures ; Nested trace semantics ; Equational logic ; Complete axiomatizations ; Non-finitely based algebras ; Hennessy&ndash ; Milner logic

刊名：Information and Computation

出版年：2004

按检索点细分(22)

关键词(22)

按出版年细分(22)

2017年(1)

2016年(1)

2013年(2)

2012年(3)

2005年(2)

2004年(4)

2003年(3)

2002年(1)

2001年(1)

2000年及以前(4)

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

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