×

找到48个文档（结果1-48）

最新的 引文 关联
山崎富代

SC和LOGDCFL之间：多项式时间对数空间确定性辅助深度存储自动机所接受的语言家族。 （英文） Zbl 07670460号

Chen，Chi-Yeh（编辑）等，《计算与组合学》。第27届国际会议，COCOON 2021，台湾台南，2021年10月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13025, 164-175 (2021).
MSC公司：68卢比
PDF格式BibTeX公司 XML格式引用
\textit{T.Yamakami}，莱克托。注释计算。科学。13025、164--175（2021；Zbl 07670460）
全文： 内政部
卢卡斯·扎伊卡

有限和无限数据的LOGSPACE术语重写特性。 （英文） Zbl 1462.68093号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第13条，第19页（2018年）。
MSC公司：2012年第68季度 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Czajka}，LIPIcs——莱布尼茨国际程序。通知。108，第13条，第19页（2018；Zbl 1462.68093）
全文： 内政部
克莱门·奥伯特;马克·巴格诺尔

统一和对数空间。 （英文） Zbl 1447.68005号

日志。方法计算。科学。 14，第3号，第6号论文，21页（2018年）.
审核人：吉列尔莫·莫拉莱斯·卢纳（墨西哥城）
MSC公司：2015年第68季度 03楼52 68N17号 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{M.Bagnol}，日志。方法计算。科学。14，第3号，第6号论文，21页（2018；Zbl 1447.68005）
全文： 内政部 arXiv公司
马丁·库特里布;安德烈亚斯·马尔彻

单向可逆多头有限自动机。 （英文） Zbl 1451.68152号

Glück，Robert（编辑）等人，《可逆计算》。2012年7月2日至3日，第四届国际研讨会，RC 2012，丹麦哥本哈根。修改后的文件。柏林：斯普林格。莱克特。注释计算。科学。7581, 14-28 (2013).
MSC公司：65年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{A.Malcher}，莱克特。注释计算。科学。7581，14-28（2013；Zbl 1451.68152）
全文： 内政部
埃兹贝特·苏哈伊·瓦尔朱;吉尔吉斯·瓦西尔

有限dP自动机与多头有限自动机。 （英文） Zbl 1350.68166号

Gheorghe，Marian（编辑）等人，《膜计算》。2011年8月23日至26日，第12届国际会议，CMC 2011，法国枫丹白露。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28023-8/pbk）。计算机科学课堂讲稿7184120-138（2012）。
MSC公司：65年第68季度 2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Csuhaj-Varjü}和\textit{G.Vaszil}，莱克托。注释计算。科学。7184、120--138（2012；Zbl 1350.68166）
全文： 内政部
拉姆亚，拉姆亚;丹尼尔·利万特

分枝共现和日志空间。 （英文） Zbl 1342.68139号

Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276247-261（2011）。
MSC公司：2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Ramyaa}和\textit{D.Leivant}，电子。注释Theor。计算。科学。276247--261（2011；Zbl 1342.68139）
全文： 内政部
霍尔格·彼得森

有限自动机中鹅卵石和传感头的等价性。 （英文） Zbl 1507.68171号

Chlebus，Bogdan S.（编辑）等人，《计算理论基础》。第11届国际研讨会，1997年9月1日至3日，波兰克拉科夫贾吉略大学FCT’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1279, 400-410 (1997).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Petersen}，莱克特。注释计算。科学。1279400--410（1997；Zbl 1507.68171）
全文： 内政部
伊奥安·马卡里。;Mitsunori小原

概率下推自动机的性质（扩展抽象）。 （英文） 兹比尔1508.68198

Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。965, 343-352 (1995).
MSC公司：65年第68季度 2010年第68季度 2015年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.I.Macarie}和\textit{M.Ogihara}，莱克特。注释计算。科学。965343-352（1995年；Zbl 1508.68198）
全文： 内政部
伊奥安·马卡里。

多头双向概率有限自动机（扩展抽象）。 （英文） Zbl 1495.68124号

Baeza-Yates，Ricardo（编辑）等人，《拉丁文’95：理论信息学》。第二届拉丁美洲研讨会，1995年4月3日至7日，智利瓦尔帕拉索。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。911, 371-385 (1995).
MSC公司：65年第68季度 2004年第68季度 2010年第68季度 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.I.马卡里}，莱克特。注释计算。科学。911、371--385（1995年；Zbl 1495.68124）
全文： 内政部
谢尔盖·阿比特布尔;维克多·维亚努

结构计算。 （英文） Zbl 1418.68087号

Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。700, 606-620 (1993).
MSC公司：2005年第68季度 03B70号 03日第10天 2015年3月1日 第68页，共15页 2015年第68季度 19年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Abiteboul}和\textit{V.Vianu}，莱克特。注释计算。科学。700606--620（1993年；兹bl 1418.68087）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

软件