×

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

最新 引文 关联
阿南塔·帕德马纳巴;Ramanujam，R。

具有隐式模态量化的命题模态逻辑。 （英语） Zbl 07150804号

Khan，Md.Aquil（编辑）等人，《逻辑及其应用》。2019年3月1日至5日在印度德里举行的第八届印度会议，ICLA 2019。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。11600, 6-17 (2019).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.Padmanabha}和\textit{R.Ramanujam}，莱克特。注释计算。科学。11600，6-17（2019；Zbl 07150804）
全文： 内政部 arXiv公司
丹尼尔·克恩伯格;马丁·兰格

完全混合的\（\mu\）-微积分。 （英语） Zbl 1515.68184号

Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，《时代》2017，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。90，第17条，第16页（2017年）。
MSC公司：60年第68季度 03B44号 03B45号 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{D.Kernberger}和\textit{M.Lange}，LIPIcs——莱布尼茨国际程序。通知。90，第17条，第16页（2017；Zbl 1515.68184）
全文： 内政部
法里德·阿布·扎伊德;埃里希·格拉德尔;斯蒂芬·贾克斯

互模拟安全定点逻辑。 （英语） Zbl 1385.03015号

Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。1-15 (2014).
MSC公司：03B45号 03B70号 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{F.Abu Zaid}等人，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。1-15（2014年；Zbl 1385.03015）
法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马，伊德;法比奥·扎纳西

弱MSO：自动机和表达模双相似性。 （英语） Zbl 1401.03065号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会（ISBN 978-1-4503-2886-9）。第27号论文，第10页（2014年）。
MSC公司：05年3月 03B15号机组 03B45号 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{F.Carreiro}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第27号论文，第10页（2014；Zbl 1401.03065）
全文： 内政部 arXiv公司
亚历山大·库兹;维尼马，伊德

Coalgebraic Lindström定理。 （英语） Zbl 1254.03121号

Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24日至27日。伦敦：学院出版物（ISBN 978-1-84890-013-4）。292-309 (2010).
MSC公司：03G30型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.Kurz}和\textit{Y.Venema}，in：模态逻辑的进展。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24-27日。伦敦：学院出版物。292--309（2010年；Zbl 1254.03121）
Helle Hvid Hansen先生;克莱门斯·库普克;埃里克·帕奎特

邻域结构：双相似性和基本模型理论。 （英语） Zbl 1172.03011号

日志。方法计算。科学。 5，第2期，论文2，38页（2009年）.
审核人：Osamu Sonobe（卵泡）
MSC公司：03B45号 03C90号 03G30型 18立方厘米 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{H.H.Hansen}等人，《日志》。方法计算。科学。5，第2号，论文2，38页（2009年；Zbl 1172.03011）
全文： 内政部
马丁·奥托;罗伯特·皮罗

Lindström对保护片段和具有全局模态的模态逻辑的刻画。 （英语） Zbl 1244.03070号

Areces，Carlos（编辑）等人，《模态逻辑的进展》。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物（ISBN 978-1-904987-68-0/pbk）。273-287（2008年）。
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.Otto}和\textit{R.Piro}，in：模态逻辑的进展。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物。273--287（2008年；Zbl 1244.03070）
Helle Hvid Hansen先生;克莱门斯·库普克;埃里克·帕奎特

邻里结构的相互模拟。 （英语） Zbl 1172.03314号

Mossakowski，Till（编辑）等人，《计算机科学中的代数和余代数》。第二届国际会议，2007年CALCO，挪威卑尔根，2007年8月20日至24日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73857-2/pbk）。计算机科学讲义4624279-293（2007）。
MSC公司：03B45号 03C90号 03G30型 18立方厘米 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{H.H.Hansen}等人，Lect。注释计算。科学。4624279--293（2007年；Zbl 1172.03314）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件