搜索页_+68Q45

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Elsevier电子期刊(29)

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

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

1.Knapsack problems in products of groups

作者：Elizaveta Frenkel^a ; ^{lizzy.frenkel@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; Andrey Nikolaev^b ; ^{anikolae@stevens.edu" class="auth_mail" title="E-mail the corresponding author} ; Alexander Ushakov^b ; ^{aushakov@stevens.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：03D15 ; 20F65 ; 20F10 ; 68Q45

刊名：Journal of Symbolic Computation

出版年：2016

2.Operads, quasiorders, and regular languages

作者：Samuele Giraudo^a ; ^{samuele.giraudo@univ-mlv.fr" class="auth_mail" title="E-mail the corresponding author} ; Jean-Gabriel Luque^b ; ^{jean-gabriel.luque@univ-rouen.fr" class="auth_mail" title="E-mail the corresponding author} ; Ludovic Mignot^b ; ^{ludovic.mignot@univ-rouen.fr" class="auth_mail" title="E-mail the corresponding author} ; Florent Nicart^b ; ^{florent.nicart@univ-rouen.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：05E99 ; 68Q45 ; 18D50

刊名：Advances in Applied Mathematics

出版年：2016

3.-graph automatic groups

作者：Murray Elder^a ; ^{murray.elder@newcastle.edu.au" class="auth_mail} ; Jennifer Taback^b ; ^{jtaback@bowdoin.edu" class="auth_mail}

关键词：20F65 ; 68Q45

刊名：Journal of Algebra

出版年：1 September 2014

4.Amalgams of inverse semigroups and reversible two-counter machines

作者：Emanuele Rodaro ; Pedro V. Silva

关键词：20M18 ; 68Q05 ; 68Q45

刊名：Journal of Pure and Applied Algebra

出版年：2013

5.Independent sets of words and the synchronization problem

作者：Arturo Carpi^a ; ^{carpi@dipmat.unipg.it} ; Flavio Dʼ ; Alessandro^b ; ^c ; ^{dalessan@mat.uniroma1.it}

关键词：68Q45 ; 05C15 ; 05C45

刊名：Advances in Applied Mathematics

出版年：2013

6.Automatic models of first order theories

作者：Pavel Semukhin^a ; ¹ ; ^{pavel@semukhin.name} ; Frank Stephan^b ; ² ; ^{fstephan@comp.nus.edu.sg}

关键词：03C50 ; 03C30 ; 03D05 ; 68Q45

刊名：Annals of Pure and Applied Logic

出版年：2013

7.The isomorphism problem for ¦Ø-automatic trees

作者：Dietrich Kuske ; Jiamou Liu ; Markus Lohrey

关键词：03C57 ; 03D05 ; 68Q45

刊名：Annals of Pure and Applied Logic

出版年：2013

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.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

10.Deciding sequentiability of finite-state transducers by finite-state pattern-matching

作者：Gaál ; Tamás

关键词：68Q45 ; 68Q70 ; Finite-state transducer ; Letter transducer ; Sequential ; Sequentiality ; Sequentiability ; Sequentialization ; ?-closure ; ?-ambiguity

刊名：Theoretical Computer Science

出版年：2004

按检索点细分(29)

关键词(29)

按出版年细分(29)

2016年(2)

2013年(4)

2005年(2)

2004年(5)

2003年(9)

2002年(2)

2000年(2)

2000年及以前(3)