×

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

森林计数的二变量一阶逻辑。 (英语) Zbl 1415.68110号

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

具有计数和线性顺序的双变量逻辑。 (英语) Zbl 1373.68259号

Kreutzer,Stephan(编辑),第24届EACSL年会和第29届计算机科学逻辑研讨会,CSL’15,德国柏林,2015年9月7日至10日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-90-3)。LIPIcs–莱布尼茨国际信息学论文集41,631-647(2015)。
PDF格式BibTeX公司 XML格式引用

带有计数和树的双变量逻辑。 (英语) Zbl 1433.03016号

2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。73-82 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段