×

找到368个文档(结果1-100)

具有高阶有理(循环)项的逻辑框架。 (英语) Zbl 07770332号

Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13992, 68-88 (2023).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

Volterra三次算子的动力学。 (英语) Zbl 1511.37048号

Accardi,Luigi(编辑)等,无限维分析,量子概率与应用,QP41。第41届会议记录,阿拉伯联合酋长国大学(UAEU),阿联酋阿布扎比艾因,虚拟,2021年3月28日至4月1日。查姆:斯普林格。Springer程序。数学。《美国联邦法律大全》第390卷第341-355页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图的反矩阵标号定义中的组合配置。 (英语。乌克兰原文) Zbl 1478.05131号

赛博。系统。分析。 57,第2期,196-204(2021); 翻译自Kibern。修女。分析。57,第2期,30-40页(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图对应的多项式随机算子的正则性。 (英语) Zbl 1468.37046号

PDF格式BibTeX公司 XML格式引用
全文: 链接

再次讨论正则方程的求解。 (英语) 兹伯利07142687

Hierons,Robert Mark(编辑)等人,《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日,第16届国际学术讨论会,突尼斯哈马马特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11884, 392-409 (2019).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

生物信息学和系统发育学。伯纳德·莫雷特的精髓贡献。 (英语) Zbl 1429.92003年9月

计算生物学29.查姆:施普林格(ISBN 978-3-030-10836-6/hbk;978-3-0030-10837-3/电子书)。xxv,410页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

无限树上的可判定不等式。 (英语) Zbl 1415.68059号

Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:轻松头发。EPiC系列。计算。57, 111-130 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自我回避行走的语言。拟传递图的连接常数。 (英语) Zbl 1407.05002号

最佳大师威斯巴登:施普林格演讲(硕士论文)(ISBN 978-3-658-24763-8/pbk;978-3-558-24764-5/电子书)。viii,65页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

(\Pi^0_2)正则树语言的特征。 (英语) Zbl 1441.68118号

Larsen,Kim G.(ed.)等人,第42届计算机科学数学基础国际研讨会,2017年MFCS,2017年8月21-25日,丹麦奥尔堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第56条,第14页(2017年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

弱分支群的Koopman表示和拟正则表示的不可约性和不可交性。 (英语) Zbl 1388.20017号

阿纳托尔·卡托克(编辑)等人,《现代动力系统理论》。向德米特里·维克托维奇·阿诺索夫致敬。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-2560-9/pbk;978-1-474-4119-7/电子书)。《当代数学》692,51-66(2017)。
PDF格式BibTeX公司 XML格式引用

不可见的下推语言。 (英语) Zbl 1390.68403号

2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。867-872 (2016).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

关于正则条件分支对策的复杂性。 (英语) Zbl 1398.68327号

Faliszewski,Piotr(编辑)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-016-3)。LIPIcs–莱布尼茨国际信息学论文集58,第78条,第14页(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高度不规则。 (英语) Zbl 1352.05055号

Gera,Ralucca(编辑)等,图论。最喜欢的猜测和公开问题–1。查姆:施普林格(ISBN 978-3-319-31938-4/hbk;978-3-3169-31940-7/电子书)。数学问题书,1-16(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

完全独立生成树的最小度条件和最优图。 (英语) Zbl 1478.05022号

Lipták,Zsuzsanna(编辑)等人,《组合算法》。第26届国际研讨会,IWOCA 2015,意大利维罗纳,2015年10月5-7日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9538, 260-273 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于计算正则树集的概率的问题。 (英语) Zbl 1366.68147号

Harsha,Prahladh(编辑)等人,第35届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2015,印度班加罗尔,2015年12月16日至18日。诉讼程序。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-97-2)。LIPIcs–莱布尼茨国际信息学论文集45,489-502(2015)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

软件