×

找到8个文档(结果1-8)

两层零和混合对策最优性和渐近稳定性的充分条件。 (英语) Zbl 07807726号

第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第18号论文,第11页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

建设性混合游戏。 (英语) Zbl 07614528号

佩尔蒂埃、尼古拉斯(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12166, 454-473 (2020).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用

关于偏微分方程的余代数。 (英语) Zbl 07561668号

Rossmanith,Peter(ed.)等人,第44届计算机科学数学基础国际研讨会,2019年MFCS,德国亚琛,2019月26日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。138,第24条,第13页(2019年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一举统一换人。 (英语) Zbl 07178990号

Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11716, 425-441 (2019).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用

\(\mathsf){dL}_{\iota}\):微分动态逻辑中的明确描述。 (英语) Zbl 07178971号

Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11716, 94-110 (2019).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份