×

找到8055个文档（结果1-100）

最新的 引文 关联
埃琳娜·巴库奇；安东尼奥·贝尔尼尼；伦佐·平扎尼

从斐波那契数列到加泰罗尼亚数列的组合解释通过Dyck路径。 （英语） Zbl 07833153号

西奥·雷罗。通知。申请。 58，第8号论文，第15页（2024年）.
MSC公司：11B83号 11B75号 11层39 2015年1月5日 19年5月 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛E.Barcucci｝等人，RAIRO，Theor。通知。申请。58，第8号文件，第15页（2024；Zbl 07833153）
全文： 内政部
雷内·范·贝文；阿特姆·基里林（Artem M.Kirilin）。；丹尼尔·斯科科夫（Daniel A.Skachkov）。；帕维尔·斯米尔诺夫。；Oxana Yu Tsidulko。

在GPU上实现了由Dilworth数参数化的多重命中集的串行和并行核化。 （英语） Zbl 07753728号

J.计算。系统。科学。 139，文章ID 103479，17 p.（2024）.
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{R.van Bevern}等人，J.Compute。系统。科学。139，文章ID 103479，17 p.（2024；Zbl 07753728）
全文： 内政部 arXiv公司
贝内德克·纳吉

半透明字母的状态确定有限自动机和半透明字母非确定的有限自动机。 （英语） Zbl 07828948号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386170-184（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Nagy}，电子。程序。西奥。计算。科学。（EPTCS）386170--184（2023年；Zbl 07828948）
全文： 内政部 arXiv公司
安德烈亚斯·马莱蒂；纽伦堡，尼尔斯·奥斯卡尔

可识别加权语言的泵入引理阿提尼安人半环。 （英语） Zbl 07828947号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386155-169（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Maletti}和\textit{N.O.Nuernbergk}，电子。程序。西奥。计算。科学。（EPTCS）386155--169（2023年；Zbl 07828947）
全文： 内政部 arXiv公司
马丁·库特里布；安德烈亚斯·马尔彻

可逆两部分计算。 （英语） Zbl 07828946号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386142-154（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{A.Malcher}，电子。程序。西奥。计算。科学。（EPTCS）386142--154（2023；Zbl 07828946）
全文： 内政部 arXiv公司
马库斯·霍尔泽；克里斯蒂安·劳赫

正则语言的最小泵送常数。 （英语） Zbl 07828945号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386127-141（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Holzer}和\textit{C.Rauch}，电子。程序。西奥。计算。科学。（EPTCS）386127--141（2023；Zbl 07828945）
全文： 内政部 arXiv公司
纳塔利亚·格里博夫斯卡娅；伊琳娜Virbitskaite

因果相关可逆素事件结构的比较过渡系统语义。 （英语） Zbl 07828944号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386112-26（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Gribovskaya}和\textit{I.Virbitskaite}，电子。程序。西奥。计算。科学。（EPTCS）386112--126（2023；Zbl 07828944）
全文： 内政部 arXiv公司
亨宁费尔瑙；拉克希曼·库普萨米；因杜马提·拉曼

当明星控制语法的工作时。 （英语） Zbl 07828943号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38696-111（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}等人，《电子》。程序。西奥。计算。科学。（EPTCS）386，96--111（2023；Zbl 07828943）
全文： 内政部 arXiv公司
埃琳娜·巴库奇；安东尼奥·贝尔尼尼；斯特凡诺·比洛塔；伦佐·平扎尼

变维强非重叠矩阵的构造。 （英语） Zbl 07828938号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386，25-34（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Barcucci}等人，《电子》。程序。西奥。计算。科学。（EPTCS）386，25--34（2023；Zbl 07828938）
全文： 内政部 arXiv公司
大卫·巴兹勒；莫里斯·比克。

编配合成的研究挑战。 （英语） Zbl 07820786号

Aubert，Clément（ed.）等人，《第16届交互和并发体验研讨会论文集》，ICE 2023，葡萄牙里斯本，2023年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38373-90（2023年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Basile}和\textit{M.H.ter-Beek}，电子。程序。西奥。计算。科学。（EPTCS）383、73--90（2023；Zbl 07820786）
全文： 内政部 arXiv公司
佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini

部分类型的多方会话。 （英语） Zbl 07820783号

Aubert，Clément（ed.）等人，《第16届交互和并发体验研讨会论文集》，ICE 2023，葡萄牙里斯本，2023年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）383，15-34（2023）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Barbanera}和\textit{M.Dezani-Ciancaglini}，电子。程序。西奥。计算。科学。（EPTCS）383，15--34（2023；Zbl 07820783）
全文： 内政部 arXiv公司
埃琳娜·迪拉沃雷；巴布亚州索波辛斯基

单体宽度：捕获秩宽度。 （英语） Zbl 07813634号

杰德（Jade）等硕士，第五届应用范畴理论国际会议论文集，ACT 2022，英国格拉斯哥，2022年7月18日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）380、268-283（2023）。
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{E.Di Lavore}和\textit{P.Sobocin ski}，电子。程序。西奥。计算。科学。（EPTCS）380268--283（2023；Zbl 07813634）
全文： 内政部 arXiv公司
奥尔加·马蒂诺娃；亚历山大·奥霍金

是扔石头的时候了。 （英语） Zbl 07810938号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14151, 242-253 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Martynova}和\textit{A.Okhotin}，莱克特。票据计算。科学。14151、242--253（2023；Zbl 07810938）
全文： 内政部
马丁·库特里布

扫描输入驱动下推自动机。 （英语） Zbl 07810934号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14151, 194-205 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}，莱克特。票据计算。科学。14151194-205（2023年；兹比尔07810934）
全文： 内政部
赫尔曼·格鲁伯；马库斯·霍尔泽；克里斯蒂安·劳赫

正则语言的泵引理很难。 （英语） Zbl 07810929号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14151, 128-140 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Gruber}等人，Lect。票据计算。科学。14151，128--140（2023；Zbl 07810929）
全文： 内政部
萨米拉·阿图；卢多维奇·米格诺；Clément Miklarz；尼卡特，佛罗伦萨

受约束的多波浪线。 （英语） 兹伯利07810924

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14151，66-78（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Attou}等人，Lect。票据计算。科学。14151，66-78（2023；Zbl 07810924）
全文： 内政部
弗里德里希·奥托

半透明字母自动机调查。 （英语） Zbl 07810922号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14151, 21-50 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Otto}，莱克特。票据计算。科学。14151，21--50（2023；Zbl 07810922）
全文： 内政部
乔纳森·鲍文（Jonathan P.Bowen）。；朱慧彪

何继峰（Jifeng He）在牛津大学及以后：一种欣赏。 （英语） Zbl 07810649号

Bowen，Jonathan P.（编辑）等人，《程序设计理论和形式化方法》。纪念贺继峰80岁生日的散文。查姆：斯普林格。莱克特。票据计算。科学。14080, 3-18 (2023).
MSC公司：68-03 01A70号 68号01
PDF格式BibTeX公司 XML格式引用
\textit｛J.P.Bowen｝和\textit｛H.Zhu｝，Lect。票据计算。科学。14080，3-18（2023；Zbl 07810649）
全文： 内政部
大卫·海兰德；朱利安·古铁雷斯；迈克尔·伍尔德里奇

并发游戏的激励工程。 （英语） Zbl 07810626号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379344-358（2023年）。
MSC公司：91A20型 91磅43 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Hyland}等人，《电子》。程序。西奥。计算。科学。（EPTCS）379，344--358（2023；Zbl 07810626）
全文： 内政部 arXiv公司
罗、二台；尼古拉斯·科奇杜普尔；斯坦利·巴克

利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 （英语） Zbl 07807958号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第17号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{E.Luo}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第17号论文，第12页（2023；Zbl 07807958）
全文： 内政部
雷纳斯·巴乔；丹尼尔·柯林斯；刘志昌、陈达；损失，朱利安

DKG和MPC（几乎）免费提供网络认知安全。 （英语） Zbl 07799091号

Handschuh，Helena（编辑）等人，《密码学进展——密码2023》。第43届年度国际密码学会议，2023年8月20日至24日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2023。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。14081, 71-106 (2023).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bacho}等人，Lect。票据计算。科学。14081、71-106（2023；Zbl 07799091）
全文： 内政部 链接
M.G.Furugyan。

实时计算系统中控制子系统的组织。 （英语。俄文原件） Zbl 1528.93156号

J.计算。系统。科学。国际。 62，第1号，89-98（2023）; 翻译自Izv。罗斯。阿卡德。特奥·诺克。修女。向上。2023年，第1期，72-81（2023年）。
MSC公司：93C83号 49N90型
PDF格式BibTeX公司 XML格式引用
\textit{M.G.Furugyan}，J.计算。系统。科学。国际62号，第1号，第89--98条（2023年；Zbl 1528.93156）；翻译自Izv。罗斯。阿卡德。特奥·诺克。修女。向上。2023年，第1期，72--81（2023年）
全文： 内政部
格思·斯特林特·布罗达尔；卡斯珀·莫德鲁普·里斯加德；Jens Kristian Refsgaard学校；罗尔夫·斯文宁

空间效率高的功能离线部分持久树，应用于平面点定位。 （英语） Zbl 07789734号

Morin，Pat（编辑）等人，《算法和数据结构》。2023年7月31日至8月2日，第18届WADS 2023国际研讨会，加拿大魁北克省蒙特利尔。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14079, 644-659 (2023).
MSC公司：68第05页 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{G.S.Brodal}等人，Lect。票据计算。科学。14079、644--659（2023；Zbl 07789734）
全文： 内政部
奥菲克·吉拉；迈克尔·T·古德里奇。；Robert E.Tarjan。

Zip-Zip树：使Zip树更加平衡、偏向、紧凑或持久。 （英语） Zbl 07789722号

Morin，Pat（编辑）等人，《算法和数据结构》。2023年7月31日至8月2日，第18届WADS 2023国际研讨会，加拿大魁北克省蒙特利尔。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14079, 474-492 (2023).
MSC公司：68第05页 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{O.Gila}等人，Lect。票据计算。科学。14079、474--492（2023；Zbl 07789722）
全文： 内政部 arXiv公司
马雷克·克罗巴克；尼尔·E·扬。

通过双向比较进行分类（扩展抽象）。 （英语） Zbl 07789710号

Morin，Pat（编辑）等人，《算法和数据结构》。2023年7月31日至8月2日，第18届WADS 2023国际研讨会，加拿大魁北克省蒙特利尔。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14079, 275-290 (2023).
MSC公司：68第05页 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Chrobak}和\textit{N.E.Young}，莱克特。票据计算。科学。14079275--290（2023年；Zbl 07789710）
全文： 内政部 arXiv公司
波塞，普罗森吉特；安东尼·德安吉洛；斯蒂芬·杜洛彻

在简单多边形中近似最小的（k）包围测地线圆盘。 （英语） 兹伯利07789704

Morin，Pat（编辑）等人，《算法和数据结构》。2023年7月31日至8月2日，第18届WADS 2023国际研讨会，加拿大魁北克省蒙特利尔。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14079, 179-192 (2023).
MSC公司：68第05页 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Bose}等人，Lect。票据计算。科学。14079、179--192（2023年；Zbl 07789704）
全文： 内政部
丹尼尔·穆萨托夫；乔治·波塔波夫

理性交互证明的结构复杂性。 （英语） 兹伯利07787584

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13967, 231-245 (2023).
MSC公司：03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.穆萨托夫}和\textit{G.波塔波夫}，莱克特。票据计算。科学。13967231-245（2023年；兹bl 07787584）
全文： 内政部 arXiv公司
马库斯·霍尔泽；克里斯蒂安·劳赫

可逆反应系统的计算复杂性。 （英语） Zbl 07786594号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13960, 40-54 (2023).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.Holzer}和\textit{C.Rauch}，莱克特。票据计算。科学。13960，40-54（2023；Zbl 07786594）
全文： 内政部
罗伯特·格莱克；伊万·拉内斯；克劳迪奥·安塔雷斯·梅齐纳；亚洛斯·阿·亚当·米兹扎克；伊恩·菲利普斯；伊雷克·乌利多夫斯基；德国维达尔

对可逆计算方法进行分类。 （英语） Zbl 07786593号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13960, 24-39 (2023).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{R.Glück}等人，Lect。票据计算。科学。13960，24-39（2023；Zbl 07786593）
全文： 内政部
穆克吉、乔伊迪普；塔莫吉特·萨哈

无AT-free图上的连通反馈顶点集。 （英语） Zbl 07781746号

谢孙元（主编）等，组合算法。第34届国际研讨会，IWOCA 2023，台湾台南，2023年6月7日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13889, 319-330 (2023).
MSC公司：68卢比 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Mukherjee}和\textit{T.Saha}，莱克特。票据计算。科学。13889、319-330（2023；Zbl 07781746）
全文： 内政部
斯文·马拉赫

基于完全消去序的树宽整数线性规划。 （英语） Zbl 07781744号

谢孙元（主编）等，组合算法。第34届国际研讨会，IWOCA 2023，台湾台南，2023年6月7日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13889, 294-306 (2023).
MSC公司：68卢比 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Mallach}，莱克特。票据计算。科学。13889、294--306（2023；Zbl 07781744）
全文： 内政部
罗布·范格拉贝克

只是测试。 （英语） Zbl 07770352号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13992498-519（2023年）。
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}，莱克特。票据计算。科学。13992、498--519（2023；Zbl 07770352）
全文： 内政部 arXiv公司
加勒坦杜埃努·塔博特

卵石最小化：最后的定理。 （英语） Zbl 07770349号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13992, 436-455 (2023).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{G.Douéneau-Tabot}，莱克特。票据计算。科学。13992、436--455（2023；Zbl 07770349）
全文： 内政部 arXiv公司
乌迪·博克；盖伊·赫菲茨

关于折扣和自动机与多个折扣因子的比较。 （英语） Zbl 07770346号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13992, 371-391 (2023).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{U.Boker}和\textit{G.Hefetz}，莱克特。票据计算。科学。13992、371--391（2023；Zbl 07770346）
全文： 内政部 arXiv公司
托马斯·亨辛格（Thomas A.Henzinger）。；尼古拉斯·马佐奇；萨拉索，N.Ege

定量安全性和活性。 （英语） 兹比尔07770345

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13992, 349-370 (2023).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。票据计算。科学。13992、349--370（2023；Zbl 07770345）
全文： 内政部 arXiv公司
鲁本·图尔肯堡；库普克，克莱门斯；朱里安·罗特；埃兹拉·肖恩

通过可逆步骤保存和反映双重相似性。 （英语） Zbl 07770344号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13992, 328-348 (2023).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Turkenburg}等人，Lect。票据计算。科学。13992、328--348（2023；Zbl 07770344）
全文： 内政部
马可·贝尔纳多；萨宾娜·罗西

反向双相似与正向双相似。 （英语） Zbl 07770341号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13992, 265-284 (2023).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}和\textit{S.Rossi}，莱克特。票据计算。科学。13992、265--284（2023；Zbl 07770341）
全文： 内政部
Yusuke Yanagisawa；铃木、亚基拉；尤马·田村；周，肖

通过重新配置优化列表顶点着色的参数化复杂性。 （英语） Zbl 07770299号

林春成（编辑）等，WALCOM：算法和计算。第17届国际会议和研讨会，2023年3月22日至24日，台湾新竹，WALCOM 2023。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13973, 279-290 (2023).
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{Y.Yanagisawa}等人，Lect。票据计算。科学。13973、279--290（2023；Zbl 07770299）
全文： 内政部
安苏曼·班纳吉；金淑·查特吉；什巴希斯·古哈

在无限字母表上设置增广有限自动机。 （英语） Zbl 07766932号

Drewes，Frank（编辑）等人，《语言理论的发展》。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13911, 36-50 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Banerjee}等人，Lect。票据计算。科学。13911，36-50（2023年；兹bl 07766932）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件