×

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

最新的 引文 关联
弗洛里安·布鲁斯；马丁·兰格

带有递归的时态逻辑。 （英语） Zbl 1530.03069号

穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第6条，第14页（2020年）。
MSC公司：03B44号 60年第68季度 03B45 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.布鲁斯}和\textit{M.兰格}，LIPIcs——莱布尼茨国际程序。通知。178，第6条，第14页（2020年；Zbl 1530.03069）
全文： 内政部
马库斯拿铁；马丁·兰格

分支时间？修剪时间！ （英语） Zbl 1358.68193号

Gramlich，Bernhard（编辑）等人，《自动推理》。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议，IJCAR 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31364-6/pbk）。计算机科学讲义7364。《人工智能课堂讲稿》，393-407（2012）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Latte}和\textit{M.Lange}，莱克特。票据计算。科学。7364、393--407（2012年；Zbl 1358.68193）
全文： 内政部 链接
奥利弗·弗里德曼；马库斯拿铁；马丁·兰格

基于tableaux和自动机的\（\mathrm{CTL}^{*}\）的决策过程。 （英语） Zbl 1257.03035号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日，英国爱丁堡，第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。《人工智能课堂讲稿》，331-345（2010）。
MSC公司：03B35型 03B44号 05年3月 68吨15 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{O.Friedmann}等人，Lect。票据计算。科学。6173、331--345（2010年；Zbl 1257.03035）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

软件