×

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

最新的 引文 关联
诺伯特·亨德斯哈根；马丁·兰格；乔治·西伯特

DiMo–使用命题逻辑的离散建模。 （英语） Zbl 07495577号

Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 242-250 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Hundeshagen}等人，Lect。注释计算。科学。12831、242--250（2021；Zbl 07495577）
全文： 内政部
弗洛里安·布鲁斯；马丁·兰格

带有递归的时态逻辑。 （英语） 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 07455743号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32697-113（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.Bruse}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326，97-113（2020；兹bl 0745543）
全文： arXiv公司 链接
丹尼尔·克恩伯格；马丁·兰格

关于混合分支时间逻辑的表达能力。 （英语） Zbl 1487.68158号

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第16条，第18页（2018年）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Kernberger}和\textit{M.Lange}，LIPIcs——莱布尼茨国际程序。通知。120，第16条，第18页（2018；Zbl 1487.68158）
全文： 内政部
马库斯拿铁；马丁·兰格

分支时间？修剪时间！ （英语） 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）
全文： 内政部 链接
马丁·兰格

线性时间-时间逻辑的大小变化终止和可满足性。 （英语） Zbl 1347.03034号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，28-39（2011）。
MSC公司：03B44号 03B25号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Lange}，莱克特。注释计算。科学。6989，28-39（2011；Zbl 1347.03034）
全文： 内政部
艾哈迈特·卡拉；沃尔克·韦伯；马丁·兰格；托马斯·施温蒂克

关于CTL和CTL（^{+}）的混合扩展。 （英语） Zbl 1250.03029号

Králović，Rastislav（编辑）等人，《2009年计算机科学的数学基础》。2009年8月24-28日，斯洛伐克High Tatras，Novy Smokovec，第34届国际研讨会，MFCS 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03815-0/pbk）。计算机科学课堂讲稿5734，427-438（2009）。
MSC公司：03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Kara}等人，Lect。注释计算。科学。5734427--438（2009年；Zbl 1250.03029）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件