×

找到234个文档（结果1–100）

最新的 引文 关联
Lekkoksung，N.（北卡罗来纳州）。；Denecke，K。

线性树语言的部分克隆。 （英语。俄文原件） Zbl 1435.08003号

同胞。数学。J。 60，第3期，497-507（2019）; 来自Sib的翻译。材料Zh。60，第3期，640-654页（2019年）。
审核人：伊万·查伊达（Přerov）
MSC公司：08A40号 65年第68季度 08A55号
PDF格式BibTeX公司 XML格式引用
\textit{N.Lekkoksung}和\textit{K.Denecke}，Sib。数学。J.60，No.3，497--507（2019；Zbl 1435.08003）；来自Sib的翻译。材料Zh。60，第3号，640--654（2019）
全文： DOI程序
安德烈亚斯·克雷布斯；利马耶·努坦；迈克尔·路德维希

将问题置于多对数深度的统一方法。 （英语） Zbl 1485.68112号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第36条，第15页（2018年）。
MSC公司：65年第68季度 08A70号 65年第68季度 68兰特 68宽10
PDF格式BibTeX公司 XML格式引用
\textit｛A.Krebs｝等人，LIPIcs——莱布尼茨国际会议记录。通知。93，第36条，第15页（2018；兹bl 1485.68112）
全文： DOI程序
佐尔坦·埃西克

三元等式语言。 （英语） Zbl 1484.08011号

Han，Yo-Sub（编辑）等，自动机的实现和应用。第21届国际会议，CIAA 2016，韩国首尔，2016年7月19日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9705, 77-88 (2016).
MSC公司：08A62号 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.e-sik}，Lect（勒克图）。注释计算。科学。9705,77--88（2016；Zbl 1484.08011）
全文： DOI程序
芭蕾舞演员Bolinches，A。；Cosme-Llópez，E。；Esteban-Romero，R。；J.J.M.M.鲁顿。

幺半群、同余和形式语言的构成。 （英语） Zbl 1423.68298号

科学。Ann.计算。科学。 25，第2期，171-209（2015）; 勘误表同上，第26号，第123-124页（2016年）。
MSC公司：70年第68季度 08A70号 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{A.Ballester-Bolinches}等人，科学。Ann.计算。科学。25，第2号，171--209（2015；Zbl 1423.68298）
全文： DOI程序
路易斯·巴尔古诺；卡莱斯·克鲁斯；吉勒姆·戈多伊；佛罗伦萨·杰克马尔；卡米尔·瓦彻

混合局部和全局约束模平面理论的树自动机的可判定类。 （英语） Zbl 1278.68130号

日志。方法计算。科学。 9，第2号，第1号论文，39页（2013）.
审核人：马格努斯·斯坦比（图尔库）
MSC公司：65年第68季度 03B25号 05年3月 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Barguñó}等人，《日志》。方法计算。科学。9，第2号，第1号论文，39页（2013年；Zbl 1278.68130）
全文： DOI程序 arXiv公司
萨尔瓦多，特里加利

撤回：绘图及其应用-第一部分：基础。 arXiv公司：1311.3524

预印本，arXiv:1311.3524[math.CT]（2013）；撤回通知同上。
MSC公司：08A55号 17D99号 18A05型 18A20型 18A22型 18A23型 18A25型 18A30型 18A32飞机 18B40码 18B99型 03G99型 08A99号 第18页第15页 18立方厘米10 18 C50 46M99型
BibTeX公司 引用
\textit{S.Tringali}，“撤回：绘图及其应用——第一部分：基础”，预印本，arXiv:1311.3524[math.CT]（2013）；撤回通知同上。
全文： arXiv公司
OA许可证
Chandrasekhara Rao，K。

离散数学。 （英语） Zbl 1253.05001号

新德里：纳罗莎出版社；牛津：阿尔法科学国际（ISBN 978-81-8487-135-7/pbk；978-1-84265-695-2/pbk）。xiii，第432页。，没有连续分页。(2012).
审核人：沃纳·克莱因茨（柏林）
MSC公司：05-01 03-01 06-01 08-01 68季度xx 00A05号
PDF格式BibTeX公司 XML格式引用
\textit{K.Chandrasekhara Rao}，离散数学。新德里：纳罗莎出版社；牛津：阿尔法科学国际（2012；Zbl 1253.05001）
安东尼奥·卡诺；埃亚·尤尔瓦宁

多种语言和边境检查。 （英语） Zbl 1341.68122号

Dömösi，Pál（ed.）等人，《自动机和形式语言》。2011年8月17日至22日在匈牙利德布勒森举行的2011年AFL第13届国际会议。尼雷加扎：尼雷加萨学院，数学和信息学研究所（ISBN 978-615-5097-19-5/pbk）。153-167 (2011).
MSC公司：70年第68季度 08A70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cano}和\textit{E.Jurvanen}，in：自动机和形式语言。2011年8月17日至22日在匈牙利德布勒森举行的2011年AFL第13届国际会议。尼雷加扎：尼雷加萨学院，数学和信息学研究所。153-167（2011；Zbl 1341.68122）
让-埃里克·品

语言的等式描述。 （英语） 兹比尔1341.68124

Dömösi，Pál（ed.）等人，《自动机和形式语言》。2011年8月17日至22日在匈牙利德布勒森举行的2011年AFL第13届国际会议。尼雷加扎：尼雷加萨学院，数学和信息学研究所（ISBN 978-615-5097-19-5/pbk）。50-63 (2011).
MSC公司：70年第68季度 08A70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-Ei.Pin}，in：自动机和形式语言。2011年8月17日至22日在匈牙利德布勒森举行的2011年AFL第13届国际会议。尼雷加扎：尼雷加萨学院，数学和信息学研究所。50-63（2011；Zbl 1341.68124）
S.M.杜达科夫。

有序泛随机图和有限自动机上的一元结构。 （英语。俄文原件） Zbl 1237.05188号

伊兹夫。数学。 75，第5期，915-932（2011）; Izv的翻译。罗斯。阿卡德。Nauk，爵士。Mat.75，No.5，47-64（2011）。
审核人：尼古拉斯·丰图拉基斯（埃德巴斯顿）
MSC公司：05C80号 05C63号 08A70号 11B85号 65年第68季度 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Dudakov}，伊兹夫。数学。75，第5号，915--932（2011；Zbl 1237.05188）；Izv的翻译。罗斯。阿卡德。Nauk，爵士。Mat.75，No.5，47--64（2011）
全文： DOI程序
卡尔·梅恩克

CGE：Mealy自动机的顺序学习算法。 （英语） Zbl 1291.68203号

Sempere，JoséM.（编辑）等人，《语法推理：理论结果和应用》。2010年9月13日至16日在西班牙巴伦西亚举行的2010年国际地理信息学会第十届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15487-4/pbk）。计算机科学课堂讲稿6339。人工智能课堂讲稿，148-162（2010）。
MSC公司：68问题32 08A70号 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Meinke}，莱克特。注释计算。科学。6339、148--162（2010年；Zbl 1291.68203）
全文： DOI程序
Ondřej，克里马；利波·波拉克

关于半环的Schützenberger乘积。 （英语） Zbl 1215.68120号

高元（主编）等，语言理论的发展。第14届国际会议，DLT 2010，伦敦，安大略省，加拿大，2010年8月17日至20日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14454-7/pbk）。计算机科学课堂讲稿6224279-290（2010）。
审核人：马格努斯·斯坦比（图尔库）
MSC公司：65年第68季度 08B99号 2016年60月 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Klíma}和\textit{L.Polák}，莱克特。注释计算。科学。6224279--290（2010年；Zbl 1215.68120）
全文： DOI程序
弗吉尼亚州布埃维奇。；Podkolzina，医学硕士。

确定性函数S-集的完备性问题。 （英语。俄文原件） Zbl 1304.68096号

莫斯科。大学数学。牛市。 63，第5期，211-213（2008）; 从背心翻译而来。莫斯科。马特·梅赫大学。63，第5期，57-59（2008年）。
MSC公司：65年第68季度 08A40号
PDF格式BibTeX公司 XML格式引用
\textit｛V.A.Buevich｝和\textit｛M.A.Podkolzina｝，莫斯科。大学数学。牛市。63，第5号，211--213（2008；Zbl 1304.68096）；从背心翻译而来。莫斯科。马特·梅赫大学。63，第5号，57-59（2008）
全文： DOI程序
Ondřej，克里马；利波·波拉克

由同态引入幂零群的语言的文字变体。 （英语） Zbl 1157.68049号

Martín-Vide，Carlos（编辑）等人，《语言和自动机理论与应用》。2008年3月13日至19日在西班牙塔拉戈纳举行的2008年拉丁美洲旅游协会第二届国际会议。修订论文。柏林：施普林格出版社（ISBN 978-3-540-88281-7/pbk）。计算机科学课堂讲稿5196，299-310（2008）。
MSC公司：70年第68季度 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{O.Klíma}和\textit{L.Polák}，莱克特。注释计算。科学。5196、299--310（2008；Zbl 1157.68049）
全文： DOI程序
乔·亨德里克斯；大崎，Hitoshi

结合AC和ACI理论上的方程树自动机。 （英语） Zbl 1155.68038号

Voronkov，Andrei（编辑），重写技术和应用。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，142-156（2008）。
审核人：马格努斯·斯坦比（图尔库）
MSC公司：65年第68季度 70年第68季度 05年3月 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Hendrix}和\textit{H.Ohsaki}，莱克特。注释计算。科学。5117、142--156（2008年；Zbl 1155.68038）
全文： DOI程序 链接
迈克尔·布鲁；巴哈迪尔·库萨诺夫；彼得·纳尔逊

序列自动代数。 （英语） Zbl 1143.08004号

Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿502884-93（2008）。
MSC公司：08A70号 05年3月 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Brough}等人，Lect。注释计算。科学。502884-93（2008年；Zbl 1143.08004）
全文： DOI程序
波拉克，L。

阿贝尔群上同态的字面变体和伪变体。 （英语） Zbl 1136.20041号

André，Jorge M.（编辑）等人，《半群与形式语言》。2005年7月12日至15日，葡萄牙里斯本，唐纳德·麦克利斯特65岁诞辰国际会议记录。新泽西州哈肯萨克：世界科学（ISBN 978-981-270-738-3/hbk）。255-265 (2007).
审核人：列奥尼德·马丁诺夫（鄂木斯克）
MSC公司：2007年7月20日 20立方米 65年第68季度 08C15年 08B15号
PDF格式BibTeX公司 XML格式引用
\textit{L.Polák}，in：半群和形式语言。2005年7月12日至15日，葡萄牙里斯本，唐纳德·麦克利斯特65岁诞辰国际会议记录。新泽西州哈肯萨克：《世界科学》。255-265（2007；Zbl 1136.20041）
沃伊切赫·巴斯科夫斯基

关于关系作用代数方程理论的复杂性。 （英语） Zbl 1135.68018号

Schmidt，Renate A.（编辑），计算机科学中的关系和Kleene代数。2006年8月29日至9月2日在英国曼彻斯特举行的第九届计算机科学关系方法国际会议和第四届克莱恩代数应用国际研讨会，RelMiCS/AKA 2006。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37873-0/pbk）。计算机科学讲义4136106-119（2006）。
MSC公司：2017年第68季度 03B70号 03C05号机组 03G25号 08A70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\文本｛W.Buszkowski｝，Lect。注释计算。科学。4136、106-119（2006年；Zbl 1135.68018）
全文： DOI程序
法比奥·伯德里；安东尼奥·雷斯蒂沃

代码种类和卡夫不等式。 （英语） 兹比尔1119.68103

Diekert，Volker（编辑）等人，STACS 2005。第22届计算机科学理论方面年度研讨会，德国斯图加特，2005年2月24日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24998-2/pbk）。计算机科学课堂讲稿3404，545-556（2005）。
MSC公司：65年第68季度 94A45型 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Burderi}和\textit{A.Restivo}，莱克特。注释计算。科学。3404、545--556（2005；Zbl 1119.68103）
全文： DOI程序
乌韦·沃尔特

签名态射的无余余代数。 （英语） Zbl 1075.68056号

Kreowski，Hans-Jörg（编辑）等人，《软件和系统建模中的形式化方法》。在哈特穆特·埃里格60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-24936-2/pbk）。计算机科学讲座笔记3393，275-290（2005）。
MSC公司：68问题65 08A70号 18A30型 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{U.Wolter}，莱克特。注释计算。科学。3393、275--290（2005年；Zbl 1075.68056）
全文： DOI程序
卢卡·埃特罗；Wan Fokkink公司；Anna Ingólfsdóttir；巴斯·卢提克

CCS与轩尼诗的合并没有有限等式公理化。 （英语） Zbl 1078.68102号

西奥。计算。科学。 330，第3期，377-405（2005）.
MSC公司：68问题85 08A70号 03B45号 03C05号机组 第68季度10 65年第68季度 68问题55 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Theor。计算。科学。330，第3号，377--405（2005；Zbl 1078.68102）
全文： DOI程序 链接
基普，马蒂

关于爱沙尼亚代数学家最近的研究结果。 （英语） Zbl 1065.08001号

Abel，Mati（编辑），FinEst Math 2002。数学的最新发展。2002年5月27日至29日，爱沙尼亚塔林，第1届芬兰-伊斯顿学术讨论会论文集，FinEst Math 2002。塔尔图：爱沙尼亚数学学会（ISBN 9985-9444-3-7/pbk）。数学研究（Tartu）2，80-93（2004）。
审核人：皮特·诺马克（塔林）
MSC公司：08-02 20-02 08A05号 08A40号 08A45号 08B10号 08B30号 17D99号 20平方米 20立方米 20M50型 65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kilp}，数学。塔尔图螺柱2，80--93（2004；Zbl 1065.08001）
佐尔坦·埃西克；韦尔·帕斯卡

关于逻辑定义的可识别树语言。 （英语） 兹比尔1196.68149

Pandya，Paritosh K.（编辑）等人，FST TCS 2003：软件技术和理论计算机科学基础。第23届会议，印度孟买，2003年12月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20680-9/pbk）。莱克特。注释计算。科学。2914, 195-207 (2003).
MSC公司：70年第68季度 03B70号 08A70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.e-sik}和\textit{P.Weil}，莱克特。注释计算。科学。2914、195--207（2003；Zbl 1196.68149）
全文： DOI程序
罗伯特·戈德布拉特

多项式余代数的等式逻辑。 （英语） Zbl 1083.03056号

Balbiani，Philippe（编辑）等人，《模态逻辑的进展》。第4卷。2002年10月在法国图卢兹举行的第四届会议（AiML 2002）的论文选集。伦敦：国王学院出版物（ISBN 0-9543006-1-0/pbk；0-9543006-2-9/hbk）。149-184 (2003).
MSC公司：03G30型 68问题85 68问题65 18 C50 03B45号 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Goldblatt}，in：模态逻辑的进展。第4卷。2002年10月在法国图卢兹举行的第四届会议（AiML 2002）的论文选集。伦敦：国王学院出版。149——184（2003年；Zbl 1083.03056）
Jochen Burghardt

有限代数的公理化。 （英语） Zbl 1015.68094号

Jarke，Matthias（编辑）等人，KI 2002：人工智能进展。2002年9月16日至20日，德国亚琛，第25届德国人工智能年会，KI 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2479, 222-234 (2002).
MSC公司：65年第68季度 08A70号 03C05号机组 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Burghardt}，莱克特。注释计算。科学。2479222--234（2002年；Zbl 1015.68094）
全文： arXiv公司 链接
奥尔加索卡拉托娃

自主品种中的自动机。 （英语） Zbl 1061.20060号

Gomes、Gracinda M.S.（编辑）等人，《半群、算法、自动机和语言》。2001年5月、6月和7月在葡萄牙科英布拉CIM国际数学中心举行的研讨会记录。新加坡：世界科学（ISBN 981-238-099-X/hbk）。423-435 (2002).
审核人：弗拉基米尔·弗莱舍（塔尔图）
MSC公司：20立方米 08A70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Sokratova}，in：半群，算法，自动机和语言。2001年5月、6月和7月在葡萄牙科英布拉CIM国际数学中心举行的研讨会记录。新加坡：世界科学。423--435（2002年；Zbl 1061.20060）
达米扬诺夫，I。；什特拉科夫。

基本输入和最小树自动机。 （英语） Zbl 1024.68069号

Shtrakov，Sl.（编辑）等人，《离散数学与应用》。第六届国际会议记录，2001年8月31日至9月2日，保加利亚班斯科。布拉戈夫格勒：西南大学。Res.数学。计算。科学。77-85 (2002).
审核人：马格努斯·斯坦比（图尔库）
MSC公司：70年第68季度 08A70号 08A40号 05年3月 2015年3月1日 06B25号
PDF格式BibTeX公司 XML格式引用
\textit{I.Damyanov}和\textit{S.Shtrakov}，《离散数学与应用》。第六届国际会议记录，2001年8月31日至9月2日，保加利亚班斯科。布拉戈夫格勒：西南大学。77——85（2002年；Zbl 1024.68069）
Arword，高级。；Denecke，K。；帕巴波提，N。

树的变换和变化。 （英语） Zbl 1038.08006号

Shtrakov，Sl.（编辑）等人，《离散数学与应用》。第六届国际会议记录，2001年8月31日至9月2日，保加利亚班斯科。布拉戈夫格勒：西南大学（ISBN 954-680-219-0/pbk）。Res.数学。计算。科学。，61-70 (2002).
审核人：V.S.Ramamurthi（杰克逊维尔）
MSC公司：08B15号 08B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Sr.Arword}等人，《离散数学与应用》。第六届国际会议记录，2001年8月31日至9月2日，保加利亚班斯科。布拉戈夫格勒：西南大学。61-70（2002年；Zbl 1038.08006）
Denecke，K。

超代换和代数机。 （英语） Zbl 1038.08007号

Shtrakov，Sl.（编辑）等人，《离散数学与应用》。第六届国际会议记录，2001年8月31日至9月2日，保加利亚班斯科。布拉戈夫格勒：西南大学（ISBN 954-680-219-0/pbk）。Res.数学。计算。科学。，13-26 (2002).
审核人：V.S.Ramamurthi（杰克逊维尔）
MSC公司：08B15号 08B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Denecke}，in：离散数学与应用。第六届国际会议记录，2001年8月31日至9月2日，保加利亚班斯科。布拉戈夫格勒：西南大学。13-26（2002年；Zbl 1038.08007）
弗拉基米尔·莫尔恰诺夫。

通用理性语言的非标准方法。 （英语） 兹比尔0986.68070

Chajda，I.（编辑）等人，《对普通代数的贡献》13。第60届普通代数研讨会论文集“60。Arbeitstagung Allgemeine Algebra”，德国德累斯顿，2000年6月22日至25日，1999年8月30日至9月4日，捷克共和国VelkéKarlovice，普通代数和有序集暑期学校。克拉根福：弗拉格·约翰内斯·希恩。Contrib.生成代数。13, 233-243 (2001).
MSC公司：70年第68季度 65年第68季度 05年3月 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Molchanov}，Contrib.Gen.Algebra 13，233--243（2001；Zbl 0986.68070）
德拉甘·马希乌洛维奇；马丁·罗西格

有限集上的互关系代数。 （英语） Zbl 0987.08003号

Chajda，I.（编辑）等人，对一般代数的贡献13。第60届普通代数研讨会论文集“60。Arbeitstagung Allgemeine Algebra”，德国德累斯顿，2000年6月22日至25日，1999年8月30日至9月4日，捷克共和国VelkéKarlovice，普通代数和有序集暑期学校。克拉根福：弗拉格·约翰内斯·希恩。Contrib.生成代数。13, 219-232 (2001).
审核人：希拉·奥茨-威廉姆斯（比尔瓦）
MSC公司：08A70号 08A02号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Ma seulović}和\textit{M.Rössiger}，Contrib.Gen.Algebra 13，219--232（2001；Zbl 0987.08003）
A.阿诺德。；尼文斯基，D。

微积分基础。 （英语） Zbl 0968.03002号

逻辑与数学基础研究. 146. 阿姆斯特丹：爱思唯尔。xvii，277页（2001年）。
审核人：瓦伦丁·F·戈兰科（约翰内斯堡）
MSC公司：03-02 03-01 03B70号 03G10年 70年第68季度 08A70号 05年3月 06B23号 03B45号 65年第68季度 91A99型
PDF格式BibTeX公司 XML格式引用
\textit{A.Arnold}和\textit{D.Niwinnski}，微积分基础。阿姆斯特丹：Elsevier（2001；Zbl 0968.03002）
奥尔加·索克拉托娃

\（\Omega \）-环，它们的平坦和投射行为及其一些应用。 （英语） Zbl 1027.16028号

塔尔图大学数学学位论文. 24. 塔尔图：塔尔图大学出版社。塔尔图：塔尔图大学数学系（Diss.），119 p.（2000）。
审核人：V.弗莱舍（塔尔图）
MSC公司：2016年60月 08A99号 65年第68季度 20M50型 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{O.Sokratova}，\（\Omega\）-环，它们的平面和投影行为与一些应用程序。塔尔图：塔尔图大学出版社；塔尔图：塔尔图大学数学系（Diss.）（2000；Zbl 1027.16028）
V.A.戈尔布诺夫。；A.V.克拉夫琴科。

代数系统的泛霍恩类和反簇。 （英语。俄文原件） Zbl 0953.03038号

代数逻辑卡 39，编号1，3-22（2000）; 代数逻辑翻译39，第1期，1-11（2000）。
审核人：A.N.里亚斯金（新西伯利亚）
MSC公司：03C05号机组 03C57号 08C15年 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Gorbunov}和\textit{A.V.Kravchenko}，《代数逻辑学》39，第1期，第3--22页（2000；Zbl 0953.03038）；代数逻辑翻译39，No.1，1--11（2000）
全文： 欧洲DML
⑩tefnescu，Gh。

关于混合代数的注记。 （英语） Zbl 0985.08004号

Smeureanu，Ion（编辑）等人，《信息技术》。1999年5月6日至9日在罗马尼亚布加勒斯特举行的第四届经济信息学国际研讨会论文集。布加勒斯特：Editura Inforec。1045-1053 (1999).
MSC公司：08A70号 18 C50 18A30型
PDF格式BibTeX公司 XML格式引用
\textit{Gh.ötefénescu}，in：信息技术。1999年5月6日至9日在罗马尼亚布加勒斯特举行的第四届经济信息学国际研讨会论文集。布加勒斯特：Editura Inforec。1045--1053（1999；Zbl 0985.08004）
安德烈亚·科拉迪尼；法比奥·加杜奇

多代数的函数语义。 （英语） Zbl 0942.18002号

JoséLuiz Fiadeiro（编辑），代数开发技术的最新趋势。第13次国际研讨会，WADT’98，葡萄牙里斯本，1998年4月2-4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1589, 79-91 (1999).
MSC公司：18立方厘米10 08C05号机组 08A55号 08A02号 18 C50 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{F.Gadducci}，莱克特。注释计算。科学。1589，79-91（1999；Zbl 0942.18002）
多雷尔·卢卡努；奥维迪乌·盖奥吉斯；阿德里亚娜·阿佩特里

互模拟和隐代数。 （英语） 邮编1126.08300

Jacobs，Bart（编辑）等人，CMCS’99。计算机科学中的协代数方法第二次研讨会论文集。欧洲软件理论与实践联合会议（ETAPS'99）的卫星活动。荷兰阿姆斯特丹，1999年3月20日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记19，电子论文13号（1999）。
MSC公司：08A70号 03G30型 18 C50 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{D.Lucanu}等人，《电子》。注释Theor。计算。科学。19，电子文件第13号（1999年；Zbl 1126.08300）
全文： DOI程序
A.V.巴比切夫。

有理项和有理数。 （英语。俄文原件） Zbl 1079.68573号

自动。远程控制 59，第3号，第2部分，432-444（1998）; Avtom翻译。Telemekh公司。1998年，第3期，156-172（1998）。
审核人：A.A.Iskander（MR1668845）
MSC公司：65年第68季度 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Babichev}，汽车。遥控器59，第3号，第2部分，432-444（1998；Zbl 1079.68573）；Avtom翻译。Telemekh公司。1998年，第3期，156--172（1998）
尼古拉斯·贝登；奥利维尔·卡尔顿

可数序数上单词的艾伦伯格定理。 （英语） Zbl 2004年6月9日

Lucchesi，Cláudio L.（编辑）等，拉丁文'98，理论信息学。第三届拉丁美洲研讨会，巴西坎皮纳斯，1998年4月20日至24日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1380, 53-64 (1998).
审核人：J.Almeida（波尔图）
MSC公司：20立方米 08A70号 70年第68季度 65年第68季度 2007年7月20日 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{N.Bedon}和\textit{O.Carton}，莱克特。注释计算。科学。1380、53--64（1998；Zbl 0906.20045）
埃西克，Z。

公理化正则树语言的等式理论。（扩展摘要）。 （英语） Zbl 0899.08006号

Morvan，Michel（编辑）等人，STACS 98。第十五届计算机科学理论研讨会。1998年2月25日至27日，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1373, 455-465 (1998).
审核人：A.A.Iskander（拉斐特）
MSC公司：08A70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.e-sik}，Lect（勒克图）。注释计算。科学。1373、455--465（1998；Zbl 0899.08006）
Viktor A.Gorbunov。；亚历山大五世·克拉夫琴科。

通用喇叭逻辑、色族和正式语言。 （英语） Zbl 0922.08008号

Denecke，Klaus等人，《普通代数与离散数学应用》。《普通代数和离散数学会议论文集》，波茨坦，德国，1996年6月。亚琛：Shaker Verlag。Berichte aus der Mathematik公司。77-91 (1997).
审核人：S.Oates-Williams（圣卢西亚）
MSC公司：08C15年 05C15号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Gorbunov}和\textit{A.V.Kravchenko}，《普通代数与离散数学应用》。《普通代数和离散数学会议论文集》，波茨坦，德国，1996年6月。亚琛：Shaker Verlag。77-91（1997年；Zbl 0922.08008）
J·阿尔梅达。；M.泽顿。

伪变元（J）是超可判定的。 （英语） Zbl 0928.2004年6月

RAIRO，通知。塞奥尔。申请。 31，第5期，457-482（1997）.
审核人：米歇尔·沃尔科夫（叶卡捷琳堡）
MSC公司：2007年7月20日 65年第68季度 70年第68季度 03B25号 08C15年 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{J.Almeida}和\textit{M.Zeitoun}，RAIRO，通知。塞奥尔。申请。31，第5号，457--482（1997；Zbl 0928.20046）
全文： DOI程序 欧洲DML
法兰克·德雷维斯

使用树转换器来计算图代数之间的平移。 （英语） Zbl 1412.68126号

Cuny，J.（编辑）等人，《图形语法及其在计算机科学中的应用》。第五届国际研讨会，美国弗吉尼亚州威廉斯堡，1994年11月13日至18日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1073, 196-210 (1996).
MSC公司：65年第68季度 05C65号 08A70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Drewes}，莱克特。注释计算。科学。1073196-210（1996年；Zbl 1412.68126）
全文： DOI程序
J·阿尔梅达。；威尔，P。

相对自由的超限幺半群：简介和示例。 （英语） Zbl 0877.20038号

John Fountain（编辑），半群，形式语言和群。《北约高级研究所学报》，英国约克，1993年8月7日至21日。多德雷赫特：Kluwer学术出版社。北约ASI系列。，序列号。C、 数学。物理学。科学。466, 73-117 (1995).
审核人：P.Zalesskij（维也纳）
MSC公司：2005年5月20日 2007年7月20日 20E18年 08C15年 05C25号
PDF格式BibTeX公司 XML格式引用
\textit{J.Almeida}和\textit{P.Weil}，北约ASI Ser。，序列号。C、 数学。物理学。科学。466，73--117（1995；Zbl 0877.20038）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件