×

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

最新的 引文 关联
乔治·巴奇;拉杜·马达尔;帕南加登，普拉卡什;戈登·普洛金

定量方程理论的张量。 （英语） Zbl 07774233号

Gadducci，Fabio（编辑）等人，第九届计算机科学代数和余代数会议，CALCO 2021，奥地利萨尔茨堡，2021年8月31日至9月3日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。211，第7条，第17页（2021年）。
理学硕士：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bacci｝等人，LIPIcs——莱布尼茨国际期刊。通知。211，第7条，第17页（2021；Zbl 07774233）
全文： 内政部
乔治·巴奇;拉杜·马达尔;帕南加登，普拉卡什;戈登·普洛金

马尔可夫过程的代数理论。 （英语） Zbl 1453.08002号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。679-688 (2018).
理学硕士：08B05号 08C15号 08A70号 18立方厘米 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。679--688（2018；Zbl 1453.08002）
全文： 内政部 链接
乔治·巴奇;罗伯特·福伯;德克斯特·科赞;拉杜·马达尔;帕南加登，普拉卡什;达纳·斯科特

随机（lambda）演算的布尔值语义。 （英语） Zbl 1453.03006号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。669-678 (2018).
理学硕士：03B40型 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。669--678（2018；Zbl 1453.03006）
全文： 内政部 链接
罗伯特·福伯;德克斯特·科赞;金·拉森;拉杜·马达尔;帕南加登，普拉卡什

Markov过程的无限制Stone对偶。 （英语） Zbl 1452.06009号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第92条，第9页（2017年）。
理学硕士：06E25年 03B45 03B48号 03G25号 60J99型
PDF格式BibTeX公司 XML格式引用
\textit{R.Furber}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第92条，第9页（2017；Zbl 1452.06009）
全文： 链接
拉杜·马达尔;帕南加登，普拉卡什;戈登·普洛金

关于数量代数的公理化。 （英语） Zbl 1452.08005号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第42条，第12页（2017年）。
理学硕士：08B05号 08C15号 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Mardare}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第42条，第12页（2017；Zbl 1452.08005）
全文： arXiv公司 链接
拉杜·马达尔;帕南加登，普拉卡什;戈登·普洛金

定量代数推理。 （英语） 兹比尔1391.68021

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。700-709 (2016).
理学硕士：68号30 08A70号 08B05号 08B20号
PDF格式BibTeX公司 XML格式引用
\textit{R.Mardare}等人，载：2016年第31届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2016，美国纽约市，2016年7月5日至8日。纽约州纽约市：计算机协会（ACM）。700-709（2016；Zbl 1391.68021）
全文： 内政部 链接
德克斯特·科赞;拉杜·马达尔;帕南加登，普拉卡什

马尔可夫过程的度量对偶定理。 （英语） Zbl 1337.68186号

Jacobs，Bart（ed.）等人，第30届编程语义数学基础会议论文集（MFPS XXX），美国纽约州伊萨卡，2014年6月12-15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308211-227，仅电子版（2014）。
理学硕士：68问题85 03B45 03G25号 60J25型 87年第68季度 68层37
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}等人，《电子》。注释Theor。计算。科学。308211--227（2014；Zbl 1337.68186）
全文： 内政部
德克斯特·科赞;Larsen，Kim G。;拉杜·马达尔;帕南加登，普拉卡什

马尔可夫过程的斯通对偶性。 （英语） Zbl 1433.06006号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。321-330 (2013).
理学硕士：06E25年 03B45 03B48号 03G25号 60J99型
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}等人，in：2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学，2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2013。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。321-330（2013；Zbl 1433.06006）
全文： 内政部
德克斯特·科赞;拉杜·马达尔;帕南加登，普拉卡什

马尔科夫逻辑的强完备性。 （英语） Zbl 1510.03013号

Chatterjee，Krishnendu（编辑）等人，2013年计算机科学数学基础。2013年8月26日至30日，第38届国际研讨会，MFCS 2013，奥地利克洛斯特内堡。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8087, 655-666 (2013).
理学硕士：03B45 60J25型
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}等人，Lect。注释计算。科学。8087、655--666（2013年；Zbl 1510.03013）
全文： 内政部 链接
金·古德斯特兰·拉森;拉杜·马达尔;帕南加登，普拉卡什

极限：马尔可夫过程的近似推理。 （英语） Zbl 1365.68344号

Rovan，Branislav（编辑）等人，《2012年计算机科学的数学基础》。2012年8月27日至31日，斯洛伐克布拉迪斯拉发，第37届国际研讨会，MFCS 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32588-5/pbk）。计算机科学课堂讲稿7464，681-692（2012）。
理学硕士：68问题85 60J99型 87年第68季度 68层37
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，Lect。注释计算。科学。7464、681--692（2012年；Zbl 1365.68344）
全文： 内政部
索菲亚·奈特;拉杜·马达尔;帕南加登，普拉卡什

将认知逻辑与轩尼诗-米尔纳逻辑相结合。 （英语） Zbl 1354.68255号

Constable，Robert L.（编辑）等人，《逻辑和程序语义》。在德克斯特·科赞60岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-29484-6/pbk）。计算机科学课堂讲稿7230，219-243（2012）。
理学硕士：68T27型 03B42号 03B62型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Knight}等人，Lect。注释计算。科学。7230，219--243（2012；Zbl 1354.68255）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段