×

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

最新的 引文 关联
你好，劳里;安蒂·库西斯托;雷恩·Rönnholm

模态mu-calculus和一些变体的有界游戏理论语义。 （英语） Zbl 07455742号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32682-96（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛L.Hella｝等人，电子。程序。西奥。计算。科学。（EPTCS）326、82--96（2020；Zbl 07455742）
全文： arXiv公司 链接
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm

在重复的输赢协调游戏中逐步保证协调。 （英语） Zbl 1469.91012号

De Giacomo，Giuseppe（编辑）等人，ECAI 2020。第24届欧洲人工智能会议，2020年8月29日至9月8日，西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会，PAIS 2020。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。325, 115-122 (2020).
MSC公司：91A20型 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{V.Goranko}等人，前面。Artif公司。智力。申请。325115--122（2020年；Zbl 1469.91012）
全文： 内政部
克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨

一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。 （英语） Zbl 1421.68037号

日志。方法计算。科学。 15，第2号，第15号论文，46页（2019年）.
MSC公司：第68页，共15页 68N17号 65年第68季度 2012年第68季度 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Feier}等人，Log。方法计算。科学。15，第2号，第15号论文，46页（2019年；Zbl 1421.68037）
全文： arXiv公司
安蒂·库西斯托;卡斯滕·卢茨

两变量逻辑以外的加权模型计数。 （英语） Zbl 1497.68227号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。619-628 (2018).
MSC公司：第68季度19 03B70号 03C13号机组 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Kuusisto}和\textit{C.Lutz}，摘自：2018年第33届ACM/IEEE年度计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。619--628（2018；Zbl 1497.68227）
全文： 内政部 arXiv公司
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm

具有有限有界语义的CTL。 （英语） Zbl 1515.03082号

Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，《时代》2017，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90，第14条，第19页（2017年）。
MSC公司：03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Goranko}等人，LIPIcs——莱布尼茨国际程序。通知。90，第14条，第19页（2017；Zbl 1515.03082）
全文： 内政部
安蒂·库西斯托;费比安·雷特

分布式自动机的空问题。 （英语） Zbl 1483.68173号

Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256210-222（2017年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Kuusisto}和\textit{F.Reiter}，电子。程序。西奥。计算。科学。（EPTCS）256、210-222（2017；Zbl 1483.68173）
全文： 链接
伊曼纽尔·基伦斯基;安蒂·库西斯托

树上的一维逻辑。 （英语） Zbl 1441.68075号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第64条，第13页（2017年）。
MSC公司：2017年第68季度 03B20型 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{E.Kieron ski}和\textit{A.Kuusisto}，LIPIcs——莱布尼茨国际程序。通知。83，第64条，第13页（2017年；Zbl 1441.68075）
全文： 内政部
你好，劳里;安蒂·库西斯托;阿恩·迈尔;乔尼·维特玛

命题和模态包含逻辑中的模型检查和有效性。 （英语） Zbl 1441.68132号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第32条，第14页（2017年）。
MSC公司：60年第68季度 03B45号 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Hella}等人，LIPIcs——莱布尼茨国际程序。通知。83，第32条，第14页（2017年；Zbl 1441.68132）
全文： 内政部 arXiv公司
克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨

一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。受邀演讲。 （英语） Zbl 1402.68046号

Benedikt，Michael（ed.）等人，第20届数据库理论国际会议，ICDT 2017，意大利威尼斯，2017年3月21-24日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-024-8）。LIPIcs–莱布尼茨国际信息学论文集68，第1条，第17页（2017年）。
MSC公司：第68页，共15页 68N17号 65年第68季度 2012年第68季度 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Feier}等人，LIPIcs——莱布尼茨国际程序。通知。68，第1条，第17页（2017；Zbl 1402.68046）
全文： 内政部
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm

合理协调，没有沟通或约定。 （英语） Zbl 1498.91080号

Baltag，Alexandru（编辑）等人，《逻辑、理性与互动》。2017年9月11日至14日在日本札幌举行的2017年LORI第六届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10455, 33-48 (2017).
MSC公司：91A26型 91年43月
PDF格式BibTeX公司 XML格式引用
\textit{V.Goranko}等人，Lect。注释计算。科学。10455，33-48（2017年；兹比尔1498.91080）
全文： 内政部 链接
朱哈·科廷宁;安蒂·库西斯托;乔尼·维特玛

谓词逻辑与团队语义的可决定性。 （英语） Zbl 1398.03064号

Faliszewski，Piotr（编辑）等人，第41届计算机科学数学基础国际研讨会，2016年MFCS，波兰克拉科夫，2016年8月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-016-3）。LIPIcs–莱布尼茨国际信息学论文集58，第60条，第14页（2016年）。
MSC公司：03B25号 03B60号 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{J.Kontinen}等人，LIPIcs——莱布尼茨国际程序。通知。58，第60条，第14页（2016；Zbl 1398.03064）
全文： 内政部 arXiv公司
伊曼纽尔·基隆斯基;安蒂·库西斯托

具有一个等价关系的统一一维碎片。 （英语） Zbl 1373.03012号

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，597-615（2015）。
MSC公司：03B20型 03C13号机组 2017年第68季度 第68季度19
PDF格式BibTeX公司 XML格式引用
\textit{E.Kierónski}和\textit{A.Kuusisto}，LIPIcs——莱布尼茨国际程序。通知。41597-615（2015；Zbl 1373.03012）
全文： 内政部
你好，劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默

模态包含逻辑：宽松比严格更简单。 （英语） Zbl 1465.68105号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 281-292 (2015).
MSC公司：65年第68季度 03B45号 03B70号 2017年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Hella}等人，Lect。注释计算。科学。9234、281--292（2015年；Zbl 1465.68105）
全文： 内政部
劳拉，希拉;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维特玛

分布式计算的弱模型，与模态逻辑有关。 （英语） Zbl 1322.68075号

分布计算。 28，第1期，31-53（2015）.
MSC公司：2005年第68季度 03B45号 03B70号 64岁以下 2010年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{L.Hella}等人，分布计算。28、第1号、第31-53号（2015；Zbl 1322.68075）
全文： 内政部 链接
安蒂·库西斯托

无限网络、暂停和本地算法。 （英语） Zbl 1467.68206号

Peron，Adriano（编辑）等人，第五届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2014，意大利维罗纳，2014年9月10-12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）161、147-160（2014）。
MSC公司：68宽15 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Kuusisto}，电子。程序。西奥。计算。科学。（EPTCS）161、147--160（2014；Zbl 1467.68206）
全文： arXiv公司 链接
安蒂·库西斯托

一些图灵完成了一阶逻辑的扩展。 （英语） Zbl 1469.03084号

Peron，Adriano（ed.）等人，《第五届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2014，意大利维罗纳，2014年9月10日至12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）161，4-17（2014）。
MSC公司：03B60号 03日第10天 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{A.Kuusisto}，电子。程序。西奥。计算。科学。（EPTCS）161，4--17（2014；Zbl 1469.03084）
全文： arXiv公司 链接
你好，劳里;安蒂·库西斯托

一阶逻辑的一维片段。 （英语） Zbl 1385.03004号

Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5日至8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。274-293（2014年）。
MSC公司：03B10号机组 03B25号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{L.Hella}和\textit{A.Kuusisto}，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。274--293（2014；Zbl 1385.03004）
全文： arXiv公司
伊曼纽尔·基伦斯基;安蒂·库西斯托

具有等式的均匀一维片段的复杂性和表示性。 （英语） Zbl 1426.03015号

Csuhaj-Varjü，Erzébet（编辑）等人，2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录，第一部分，柏林：施普林格。莱克特。注释计算。科学。8634, 365-376 (2014).
MSC公司：03B20型 03B25号 03B70号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Kieron ski}和\textit{A.Kuusisto}，莱克托。注释计算。科学。8634365-376（2014；Zbl 1426.03015）
全文： 内政部 arXiv公司
安蒂·库西斯托

模态逻辑和分布式消息传递自动机。 （英语） Zbl 1356.68154号

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，452-468（2013）。
MSC公司：68问题85 03B25号 03B45号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Kuusisto}，LIPIcs——莱布尼茨国际程序。通知。23452--468（2013；Zbl 1356.68154）
全文： 内政部
安蒂·库西斯托;杰里米·迈耶斯;乔尼·维特玛

仿射几何的不确定一阶理论。 （英语） Zbl 1317.03018号

日志。方法计算。科学。 9，第4号，第28号论文，23页（2013年）.
审核人：维克托·潘布奇（凤凰城）
MSC公司：03B25号 03B30型 03B15号机组 03天35分 51G05号 第51页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Kuusisto}等人，日志。方法计算。科学。9，第4号，第28号论文，23页（2013；Zbl 1317.03018）
全文： 内政部 arXiv公司
你好，劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维特玛

分布式计算的弱模型，与模态逻辑有关。 （英语） Zbl 1301.68120号

2012年ACM分布式计算原理研讨会论文集，PODC’12，Funchal，葡萄牙，2012年7月16-18日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1450-3）。185-194 (2012).
MSC公司：2005年第68季度 03B70号 64岁以下 2010年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{L.Hella}等人，《第31届ACM分布式计算原理研讨会论文集》，PODC’12，葡萄牙芬查尔，2012年7月16-18日。纽约州纽约市：计算机协会（ACM）。185-194（2012；Zbl 1301.68120）
全文： 内政部 arXiv公司 链接
安蒂·库西斯托;杰里米·迈耶斯;乔尼·维特玛

仿射几何的不确定一阶理论。 （英语） Zbl 1252.03023号

Cégielski，Patrick（编辑）等人，《计算机科学逻辑》（CSL’12）。2012年9月3日至6日，在法国枫丹白露举行的第21届EACSL年会第26届国际研讨会。根据会议上的陈述选择论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-42-2）。LIPIcs–莱布尼茨国际信息学会议录16，470-484，仅电子版（2012年）。
MSC公司：03B30型 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Kuusisto}等人，LIPIcs——莱布尼茨国际程序。通知。16470-484（2012年；兹比尔1252.03023）
全文： 内政部 arXiv公司
你好，劳里;安蒂·库西斯托

一元\（\西格玛^{1}_{1} \）和具有量化二进制关系的模态逻辑。 （英语） Zbl 1345.03039号

Bolander，Thomas（编辑）等人，《第六届模式方法研讨会论文集》（M4M-6 2009），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记262173-188（2010）。
MSC公司：03B45号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{L.Hella}和\textit{A.Kuusisto}，电子。注释Theor。计算。科学。262173--188（2010年；Zbl 1345.03039）
全文： 内政部
安蒂·库西斯托

一元二阶交替层次的模态透视。 （英语） Zbl 1244.03067号

Areces，Carlos（编辑）等人，《模态逻辑的进展》。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物（ISBN 978-1-904987-68-0/pbk）。231-247 (2008).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.Kuusisto}，in：模态逻辑的进展。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物。231-247（2008年；兹bl 1244.03067）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件