×

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

最新的 引文 关联
马塞洛·菲奥雷;马科托·哈马纳

多元多态代数理论：句法、语义、翻译和等式逻辑。 （英语） 兹比尔1433.03161

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。520-529 (2013).
MSC公司：03G30型 18 C50 03B40型 03C05号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Fiore}和\textit{M.Hamana}，摘自：2013年第28届年度ACM/IEEE计算机科学逻辑研讨会论文集，2013年LICS，美国路易斯安那州新奥尔良杜兰大学，2013年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。520-529（2013；Zbl 1433.03161）
全文： 内政部
丹尼尔·李卡塔（Daniel R.Licata）。;迈克尔·舒尔曼

计算同伦型理论中圆的基本群。 （英语） Zbl 1369.03097号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。223-232 (2013).
MSC公司：03B15号机组 03B35型 03G30型 55单位40
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Licata}和\textit{M.Shulman}，摘自：2013年第28届ACM/IEEE年度计算机科学逻辑研讨会论文集，2013年LICS，美国路易斯安那州新奥尔良市杜兰大学，2013年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。223--232（2013年；Zbl 1369.03097）
全文： 内政部 arXiv公司
巴特·雅各布斯

可测空间及其效应逻辑。 （英语） Zbl 1433.03162号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。83-92（2013年）。
MSC公司：03G30型 03B48号 06第15页
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，in：2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑年会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。83-92（2013年；兹bl 1433.03162）
全文： 内政部
保罗·安德烈·梅利埃

关于对话游戏和连贯策略。 （英语） Zbl 1356.03075号

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，540-562（2013）。
MSC公司：03B70号 03楼52 03G30型 68问题55 91A40型
PDF格式BibTeX公司 XML格式引用
\textit{P.-A.Melliès}，LIPIcs——莱布尼茨国际程序。通知。23540-562（2013；Zbl 1356.03075）
全文： 内政部
杰罗姆·福蒂埃;路易吉·桑托卡纳莱

循环证明的剪切：语义和剪切消除。 （英语） Zbl 1356.03098号

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，248-262（2013）。
MSC公司：03财年03 05年3月 07年3月 03G30型
PDF格式BibTeX公司 XML格式引用
\textit｛J.Fortier｝和\textit｛L.Santocanale｝，LIPIcs——莱布尼茨国际期刊。通知。23、248--262（2013；Zbl 1356.03098）
全文： 内政部
一郎·哈索;肯塔·乔;Toshiki Kataoka

fibration中的共导谓词和最终序列。 （英语） Zbl 1334.68136号

Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记298197-214（2013）。
MSC公司：68问题65 03B70号 03G30型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Hasuo}等人，《电子》。注释Theor。计算。科学。298197-214（2013年；Zbl 1334.68136）
全文： 内政部
丹尼尔·李卡塔（Daniel R.Licata）。;纪尧姆·布鲁内里

\同伦类型理论中的（π{n}（S^{n}））。 （英语） Zbl 1427.03033号

Gonthier，Georges（编辑）等人，《认证程序和证明》。第三届国际会议，2013年CPP，澳大利亚维多利亚州墨尔本，2013年12月11-13日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8307, 1-16 (2013).
MSC公司：03B38型 03G30型 55单位40
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Licata}和\textit{G.Brunerie}，莱克特。注释计算。科学。8307,1--16（2013年；Zbl 1427.03033）
全文： 内政部
玛丽亚·迪马罗科纳;斯特凡尼亚斯（Stefaneas，Petros）

语义网络和制度理论。 （英语） Zbl 1299.03081号

Pinus，A.G.（编辑）等人，《代数与模型理论》9。2013年6月25日至29日，俄罗斯埃尔洛科尔，第十届暑期学校“模型理论和泛代数的前沿”论文集。新西伯利亚：新西伯利亚国立技术大学（ISBN 978-5-7782-2350-9）。8-18 (2013).
MSC公司：03G30型 68问题55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{M.Dimarogkona}和\textit{P.Stefaneas}，in：代数和模型理论9。2013年6月25日至29日，俄罗斯埃尔洛科尔，第十届暑期学校“模型理论和泛代数的前沿”论文集。新西伯利亚：新西伯利亚州立技术大学。8-18（2013年；兹bl 1299.03081）
单价基金项目
[彼得·阿策尔;阿伦斯，贝内迪克特;托尔斯滕·阿滕柯奇;史蒂夫·阿沃迪;布鲁诺·巴拉斯;安德烈·鲍尔;伊夫·贝托特;马克·贝泽姆;可口、蒂埃里;埃里克·芬斯特;丹尼尔·格雷森;雨果·赫贝林;安德烈·乔亚尔;丹·利卡塔;彼得·卢姆斯代恩;阿西亚·马布比;马丁·洛夫（Martin-Lof，Per）;谢尔盖·梅利霍夫;阿尔瓦罗·佩莱奥;安德鲁·波伦斯基;迈克尔·舒尔曼;索索、马蒂厄;溅出物，Bas;本诺·范登伯格;弗拉基米尔·沃沃德斯基;迈克尔·沃伦;诺姆·齐尔伯格;卡洛·安吉利;安东尼·博尔吉;纪尧姆·布鲁内利;克里斯·卡普尔金;埃格伯特·里杰克;克里斯蒂娜·索贾科娃;杰里米·阿维加德;科恩，西里尔;罗伯特·康斯特布尔;皮埃尔·卢伊斯·居里;彼得·戴比杰;马丁·埃斯卡多;Hou，Kuen-Bang先生;甘比诺，尼古拉;理查德·加纳;乔治·戈蒂尔;托马斯·黑尔斯;罗伯特·哈珀;马丁·霍夫曼;彼得·霍夫斯特拉;约阿希姆·科克;尼古拉·克劳斯;李诺;罗朝晖;迈克尔·纳哈斯;埃里克·帕尔姆格伦;艾米丽·里尔;达纳·斯科特;菲利普·斯科特;谢尔盖·索洛维耶夫]

同伦类型理论。数学的单价基础。 （英语） Zbl 1298.03002号

新泽西州普林斯顿：高等研究院；北卡罗来纳州罗利：卢鲁出版社。ix，468页。(2013).
审核人：马可·贝尼尼（布奇纳斯科）
MSC公司：03-02 55-02 03B15号机组 03G30型 18甲15 18个B05 55单位40
PDF格式BibTeX公司 XML格式引用
\textit｛Univalent Foundations Program｝，同源类型理论。数学的单价基础。新泽西州普林斯顿：高等研究院；北卡罗来纳州罗利：卢鲁出版社（2013；Zbl 1298.03002）
全文： arXiv公司 链接
彼得·海因斯。

模运算中可逆相干运算的恒等式。 （英语） Zbl 1406.68026号

Dueck，Gerhard W.（编辑）等人，《可逆计算》。2013年7月4日至5日，加拿大不列颠哥伦比亚省维多利亚市，第五届国际会议，RC 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38985-6/pbk）。计算机科学讲义7948，84-95（2013）。
MSC公司：2005年第68季度 03B70号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{P.M.Hines}，莱克特。注释计算。科学。7948，84-95（2013；Zbl 1406.68026）
全文： 内政部 arXiv公司
伊莱亚斯·扎菲里斯;卡拉科斯塔斯、瓦西里奥斯

量子事件结构的范畴语义表示。 （英语） Zbl 1282.81017号

已找到。物理学。 43，第9期，1090-1123（2013）.
审核人：米尔科·纳瓦拉（普拉哈）
MSC公司：81页第10页 03G30型 14层05 16亿B50 81第05页 第81页，共13页
PDF格式BibTeX公司 XML格式引用
\textit{E.Zafiris}和\textit{V.Karakostas}，已找到。物理学。43，第9号，1090--1123（2013；Zbl 1282.81017）
全文： 内政部 arXiv公司
贝尔科娃，玛尔塔;亚历山大·库兹;达尼埃拉·佩特里桑;吉·维勒比尔

关系提升，应用于多值覆盖形式。 （英语） Zbl 1287.18008号

日志。方法计算。科学。 9，第4号，第8号论文，48页（2013）.
MSC公司：18D20天 03B45号 03G30型 07年6月 18立方厘米 18D05日
PDF格式BibTeX公司 XML格式引用
\textit{M.Bílková}等人，《日志》。方法计算。科学。9，第4号，第8号论文，48页（2013；Zbl 1287.18008）
全文： 内政部 arXiv公司
亨德里克·图斯

Coq中合并逻辑的形式化切割消除。 （英语） Zbl 1401.68280号

Galmiche，Didier（ed.）等人，分析表的自动推理和相关方法。2013年9月16日至19日，法国南希，第22届国际会议，TABLEAUX 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40536-5/pbk）。计算机科学课堂讲稿8123。人工智能课堂讲稿，257-272（2013）。
MSC公司：68吨15 03B35型 03B45号 05年3月 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{H.Tews}，Lect（路易斯安那州）。注释计算。科学。8123257--272（2013；Zbl 1401.68280）
全文： 内政部
丸山义弘

完全Lambek超学说：一阶子结构逻辑的范畴语义。 （英语） Zbl 1395.03039号

利布金，列奥尼德（编辑）等人，《逻辑、语言、信息和计算》。2013年8月20日至23日，德国达姆施塔特WoLLIC 2013第20届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39991-6/pbk）。计算机科学课堂讲稿8071，211-225（2013）。
MSC公司：03G30型 03B47号
PDF格式BibTeX公司 XML格式引用
\textit{Y.丸山}，莱克特。注释计算。科学。8071、211——225（2013；Zbl 1395.03039）
全文： 内政部
迈克尔·P·福尔曼。

持续的真理。二： 反思。 （英语） Zbl 1394.03084号

利布金，列奥尼德（编辑）等人，《逻辑、语言、信息和计算》。2013年8月20日至23日，德国达姆施塔特WoLLIC 2013第20届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39991-6/pbk）。计算机科学课堂讲稿8071153-167（2013）。
MSC公司：03G30型
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Fourman}，莱克特。注释计算。科学。8071、153--167（2013；Zbl 1394.03084）
全文： 内政部
丹尼尔·戈林;卢茨·施罗德

余代数模态逻辑的模拟和互模拟。 （英语） 兹比尔1394.68250

Heckel，Reiko（编辑）等人，《计算机科学中的代数和余代数》。2013年9月3日至6日，第五届国际会议，CALCO 2013，波兰华沙。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40205-0/pbk）。计算机科学课堂讲稿8089，253-266（2013）。
MSC公司：68问题85 03B45号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{D.Gorín}和\textit{L.Schröder}，莱克特。注释计算。科学。8089、253--266（2013；Zbl 1394.68250）
全文： 内政部 arXiv公司
塞巴斯蒂安·恩奎斯特

谓词提升的余代数同态。 （英语） Zbl 1394.03082号

Heckel，Reiko（编辑）等人，《计算机科学中的代数和余代数》。2013年9月3日至6日，第五届国际会议，CALCO 2013，波兰华沙。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40205-0/pbk）。计算机科学课堂讲稿8089126-140（2013）。
MSC公司：03G30型 03B45号 18个B05
PDF格式BibTeX公司 XML格式引用
\textit{S.Enqvist}，莱克特。注释计算。科学。8089、126--140（2013年；Zbl 1394.03082）
全文： 内政部
贝尔科娃，玛尔塔;马特·多斯塔尔

多值关系提升与莫斯的联合逻辑。 （英语） Zbl 1394.03081号

Heckel，Reiko（编辑）等人，《计算机科学中的代数和余代数》。2013年9月3日至6日，第五届国际会议，CALCO 2013，波兰华沙。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40205-0/pbk）。计算机科学课堂讲稿8089，66-79（2013）。
MSC公司：03G30型 03B45号 03B50 2012年2月6日 18个B05
PDF格式BibTeX公司 XML格式引用
\textit{M.Bílková}和\textit{M.Dostál}，莱克特。注释计算。科学。8089、66--79（2013年；Zbl 1394.03081）
全文： 内政部
阿德里安娜·巴兰;亚历山大·库兹;吉·维勒比尔

联合逻辑的积极片段。 （英语） Zbl 1394.03035号

Heckel，Reiko（编辑）等人，《计算机科学中的代数和余代数》。2013年9月3日至6日，波兰华沙，第五届国际会议，CALCO 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40205-0/pbk）。计算机科学课堂讲稿8089，51-65（2013）。
MSC公司：03B45号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{A.Balan}等人，Lect。注释计算。科学。8089、51-65（2013；Zbl 1394.03035）
全文： 内政部 链接
洛佩斯·蓬博，卡洛斯·古斯塔沃;巴勃罗·卡斯特罗。;Nazareno M.阿吉雷。;托马斯·S·E·迈鲍姆。

可满足性演算：一般逻辑中证明演算的语义对应物。 （英语） Zbl 1394.03085号

Martí-Oliet，Narciso（编辑）等人，代数开发技术的最新趋势。第21届国际研讨会，2012年WADT，西班牙萨拉曼卡，2012年6月7日至10日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37634-4/pbk）。计算机科学课堂讲稿7841195-211（2013）。
MSC公司：03G30型
PDF格式BibTeX公司 XML格式引用
\textit{C.G.López Pombo}等人，Lect。注释计算。科学。7841、195--211（2013；Zbl 1394.03085）
全文： 内政部
法孔多·卡雷罗;丹尼尔·戈林;卢茨·施罗德

Coalgebraic公告逻辑。 （英语） Zbl 1335.03014号

Fomin，Fedor V.（编辑）等人，《自动化、语言和编程》。2013年7月8日至12日，第40届国际学术讨论会，ICALP 2013，拉脱维亚里加，会议记录，第二部分。柏林：施普林格出版社（ISBN 978-3-642-39211-5/pbk）。计算机科学课堂讲稿7966101-112（2013）。
MSC公司：03B42号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{F.Carreiro}等人，Lect。注释计算。科学。7966、101-112（2013；Zbl 1335.03014）
全文： 内政部
莫雷诺·安德烈亚塔;安德烈·埃里斯曼;勒内·吉塔特;盖里诺·马佐拉

走向音乐、话语和认知创造性的范畴理论。 （英语） 1270.00024兹罗提

Jason Yust等人，《音乐中的数学和计算》。第四届国际会议，2013年MCM，加拿大魁北克省蒙特利尔，2013年6月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39356-3/pbk）。计算机科学课堂讲稿7937。《人工智能课堂讲稿》，19-37（2013）。
MSC公司：00A65号 03G30型 18A30型 91E10型
PDF格式BibTeX公司 XML格式引用
\textit{M.Andreatta}等人，Lect。注释计算。科学。7937，19-37（2013年；兹bl 1270.00024）
全文： 内政部
徐创杰;马丁·埃斯卡多

一致连续性的构造模型。 （英语） Zbl 1433.03155号

长谷川，Masahito（编辑），键入lambda calculi和应用。2013年6月26日至28日在荷兰埃因霍温举行的2013年TLCA第11届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。7941, 236-249 (2013).
MSC公司：65楼03号 03B38型 03B40型 03G30型 54B40码
PDF格式BibTeX公司 XML格式引用
\textit{C.Xu}和\textit{M.Escardó}，Lect。注释计算。科学。7941，236--249（2013；Zbl 1433.03155）
全文： 内政部
塔德乌什·利塔克;德克·帕丁森;胜彦三野

协代数谓词逻辑：等价结果和证明理论。 （英语） Zbl 1383.03030号

Bezhanishvili，Guram（编辑）等人，《逻辑、语言和计算》。第九届第比利斯逻辑、语言和计算国际研讨会，2011年TbiLLC，格鲁吉亚库塔伊西，2011年9月26日至30日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-36975-9/pbk）。计算机科学课堂讲稿7758，257-276（2013）。
MSC公司：03B45号 05年3月 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{T.Litak}等人，Lect。注释计算。科学。7758、257--276（2013；Zbl 1383.03030）
全文： 内政部
弗雷德里克·达尔奎斯特;德克·帕丁森

余代数逻辑的一些Sahlqvist完备性结果。 （英语） Zbl 1260.03039号

Pfenning，Frank（编辑），《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013，是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37074-8/pbk）。计算机科学课堂讲稿7794193-208（2013）。
MSC公司：03B45号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{F.Dahlqvist}和\textit{D.Pattinson}，莱克特。注释计算。科学。7794、193--208（2013；Zbl 1260.03039）
全文： 内政部
维尼马，伊德;史蒂夫·维克斯;雅各布·沃斯默

通过关系提升实现广义powerlocales。 （英语） Zbl 1268.54004号

数学。结构。计算。科学。 23，第1期，142-199（2013）.
审核人：Jorge Picado（科英布拉）
MSC公司：54B20型 03层60 03G30型 2012年2月6日 18对25 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{Y.Venema}等人，数学。结构。计算。科学。23，第1号，142--199（2013；Zbl 1268.54004）
全文： 内政部 arXiv公司
桑德·沃尔特斯（Sander A.M.Wolters）。

量子理论的两种拓扑理论方法的比较。 （英语） Zbl 1298.81008号

Commun公司。数学。物理学。 317，第1期，第3-53页（2013年）.
审核人：霍斯特·桑比恩（加布森）
MSC公司：81第05页 81页第10页 1999年第81季度 03G12号机组 47升90 18对25 03G30型 81T13型 46升60
PDF格式BibTeX公司 XML格式引用
\textit{S.A.M.Wolters}，Commun。数学。物理学。317，第1号，第3--53号（2013；Zbl 1298.81008）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件