×

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

最新的 引文 关联
陈志波；弗兰克·芬宁

具有高阶有理（循环）项的逻辑框架。 （英语） Zbl 07770332号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13992, 68-88 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛Z.Chen｝和\textit｛F.Pfenning｝，Lect。票据计算。科学。13992、68--88（2023；Zbl 07770332）
全文： 内政部 arXiv公司
Joshua Chen先生

Isabelle的同伦类型理论。 （英语） Zbl 07699429号

Cohen，Liron（ed.）等人，第十二届交互式定理证明国际会议，ITP 2021，意大利罗马，虚拟会议，2021年6月29日至7月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。193，第12条，第8页（2021年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Chen}，LIPIcs——莱布尼茨国际程序。通知。193，第12条，第8页（2021；Zbl 07699429）
全文： 内政部 arXiv公司
碧姬·品特卡

上下文类型，解释。邀请的教程。 （英语） Zbl 1455.03016号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。35-37 (2020).
MSC公司：03立方厘米38
PDF格式BibTeX公司 XML格式引用
\textit{B.Pientka}，摘自：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。35-37（2020；Zbl 1455.03016）
全文： 内政部
比约恩·莱尔曼；卡洛斯·奥拉特；伊莱恩·皮门特尔

具有模态的子结构逻辑的统一框架。 （英语） Zbl 1402.03030号

Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，435-455（2017）。
MSC公司：03B47号 03B45
PDF格式BibTeX公司 XML格式引用
\textit{B.Lellmann}等人，EPiC Ser。计算。46、435--455（2017；Zbl 1402.03030）
全文： 内政部
乔尔·德斯佩鲁；卡洛斯·奥拉特；伊莱恩·皮门特尔

混合和次指数线性逻辑。 （英语） Zbl 1395.03034号

Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第11次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记33295-111（2017）。
MSC公司：第03页 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Despeyroux}等人，《电子》。注释Theor。计算。科学。33295--111（2017；Zbl 1395.03034）
全文： 内政部 arXiv公司
Furio Honsell；路易吉·利科里；佩塔·马克西莫维奇；伊万·斯卡格内托

\（\mathsf{极低频}_{\mathcal{P}}\）：一个逻辑框架，用于建模外部证据、附带条件和使用单子证明无关性。 （英语） Zbl 1456.03027号

日志。方法计算。科学。 13，第3号，第2号论文，33页（2017年）.
MSC公司：03B40型 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{F.Honsell}等人，日志。方法计算。科学。13，第3号，第2号论文，33页（2017；Zbl 1456.03027）
全文： 内政部 arXiv公司
罗伊·克罗。；艾米·福尼丝

规范HybridLF：使用依赖类型扩展Hybrid。 （英语） Zbl 1394.68351号

Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323125-142（2016）。
MSC公司：68吨15 03B35型 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{R.L.Crole}和\textit{A.Furniss}，电子。注释Theor。计算。科学。323125-142（2016年；Zbl 1394.68351）
全文： 内政部
大卫·希伯多；安德鲁·凯夫；碧姬·品特卡

索引尾数据类型。 （英语） Zbl 1360.68342号

Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。351-363 (2016).
MSC公司：68甲18 68甲15 68第05页 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Thibodeau}等人，in：第21届ACM SIGPLAN函数编程国际会议论文集，2016年9月18日至22日，日本奈良ICFP’16。纽约州纽约市：计算机协会（ACM）。351--363（2016；Zbl 1360.68342）
全文： 内政部
Furio Honsell；玛丽娜·莱妮莎；路易吉·利科里；伊万·斯卡格内托

实现康托的天堂。 （英语） Zbl 1485.03031号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10017, 229-250 (2016).
MSC公司：03B40型 03B38型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{F.Honsell}等人，Lect。票据计算。科学。10017、229--250（2016；Zbl 1485.03031）
全文： 内政部 哈尔
碧姬·品特卡；安德烈亚斯·亚贝尔

上下文对象上的良好递归。 （英语） Zbl 1367.68073号

Altenkirch，Thorsten（编辑），第13届lambda calculi类型和应用国际会议，TLCA’15，波兰华沙，2015年7月1日至3日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-87-3）。LIPIcs–莱布尼茨国际信息学论文集38，273-287（2015）。
MSC公司：68号30 03B70号 68甲15 68甲18 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{B.Pientka}和\textit{A.Abel}，LIPIcs——莱布尼茨国际程序。通知。38、273--287（2015；Zbl 1367.68073）
全文： 内政部
碧姬·品特卡；安德鲁·凯夫

归纳白鲸：编程证明。 （英语） Zbl 1465.68294号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9195, 272-281 (2015).
MSC公司：68伏15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Pientka}和\textit{A.Cave}，莱克特。票据计算。科学。919572-281（2015年；兹比尔1465.68294）
全文： 内政部
安德鲁·凯夫；碧姬·品特卡

使用活页夹和索引数据类型进行编程。 （英语） Zbl 1321.68141号

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。413-424 (2012).
MSC公司：68甲18 68甲15 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Cave}和\textit{B.Pientka}，in：第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。413--424（2012；Zbl 1321.68141）
全文： 内政部
Vivek Nigam先生；伊莱恩·皮门特尔；吉赛尔·赖斯

用次指数指定线性逻辑中的证明系统。 （英语） Zbl 1347.03103号

爱德华·赫尔曼（Edward Hermann）等，《逻辑和语义框架及其应用第五次研讨会论文集》（LSFA 2010），巴西纳塔尔，2010年8月31日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记269109-123（2011）。
MSC公司：第03页
PDF格式BibTeX公司 XML格式引用
\textit{V.Nigam}等人，《电子》。注释Theor。计算。科学。269、109--123（2011年；Zbl 1347.03103）
全文： 内政部
安东尼斯·斯坦普利斯；邵，钟

VeriML：语言中逻辑项的类型化计算，具有效果。 （英语） Zbl 1323.68384号

2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-794-3）。ACM SIGPLAN Notices 45，No.9，333-344（2010）。
MSC公司：60年第68季度 68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Stampoulis}和\textit{Z.Shao}，摘自：第15届ACM SIGPLAN函数编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27日至29日。纽约州纽约市：计算机协会（ACM）。333--344（2010年；Zbl 1323.68384）
全文： 内政部
卡尔·克里

子结构逻辑的高阶表示。 （英语） Zbl 1323.68461号

2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-794-3）。ACM SIGPLAN Notices 45，No.9，131-142（2010）。
MSC公司：68吨15 03B35型 03B45 03B47号
PDF格式BibTeX公司 XML格式引用
\textit{K.Crary}，in：第15届ACM SIGPLAN函数编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27日至29日。纽约州纽约市：计算机协会（ACM）。131-142（2010年；Zbl 1323.68461）
全文： 内政部 链接
斯诺，扎卡里

实现依赖类型的\（\lambda\）-演算。 （英语） Zbl 1237.68126号

Hermenegildo，Manuel（编辑）等人，第26届逻辑编程国际会议（ICLP 2010）的技术交流，2010年7月16日至19日，英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-939897-17-0）。LIPIcs–莱布尼茨国际信息学会议录7，294-299，仅电子版（2010年）。
MSC公司：60年第68季度 03B70号 03B40型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Snow}，LIPIcs--莱布尼茨国际程序。通知。7294-299（2010年；Zbl 1237.68126）
全文： 内政部 链接
拉斐尔·德尔瓦多·维塞达

用于在声明性约束编程中调试的逻辑框架。 （英语） 兹比尔1291.68151

Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第四次研讨会论文集》（LSFA 2009），巴西巴西利亚，2009年8月28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记256，119-135（2009）。
MSC公司：68号30 68N17号 68甲18 第68季度55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.del Vado Vírseda}，电子。注释Theor。计算。科学。256119-135（2009年；Zbl 1291.68151）
全文： 内政部
富利亚·霍罗扎尔；弗洛里安·拉贝

在类型理论逻辑框架中表示模型理论。 （英语） Zbl 1291.03068号

Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第四次研讨会论文集》（LSFA 2009），巴西巴西利亚，2009年8月28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记256，49-65（2009）。
MSC公司：03B70号 03B10号机组 03C99号
PDF格式BibTeX公司 XML格式引用
\textit{F.Horozal}和\textit{F.Rabe}，电子。注释Theor。计算。科学。256、49-65（2009年；Zbl 1291.03068）
全文： 内政部
碧姬·品特卡

使用高阶抽象语法和一级替换进行编程的类型理论基础。 （英语） Zbl 1295.68068号

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。371-382 (2008).
MSC公司：68甲18 68甲15 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{B.Pientka}，摘自：第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。371-382（2008年；Zbl 1295.68068）
全文： 内政部
碧姬·品特卡；李熙；佛罗伦萨蓬皮涅

聚焦LF反演方法：初步报告。 （英语） Zbl 1278.03063号

Pientka，B.（ed.）等人，《逻辑框架和元语言：理论与实践第二次国际研讨会论文集》（LFMTP 2007），德国不来梅，2007年7月15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记196，95-112（2008）。
MSC公司：03B70号 03B15号机组 68N17号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{B.Pientka}等人，《电子》。注释Theor。计算。科学。196、95-112（2008年；Zbl 1278.03063）
全文： 链接
弗雷德里克·林布拉德

基于一阶窄化的高阶证明结构。 （英语） Zbl 1278.03059号

Pientka，B.（ed.）等人，第二届逻辑框架和元语言国际研讨会论文集：理论与实践（LFMTP 2007），德国不来梅，2007年7月15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记196，69-84（2008）。
MSC公司：03B70号 03B15号机组 03B35型 68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{F.Lindblad}，电子。注释Theor。计算。科学。196、69-84（2008年；Zbl 1278.03059）
全文： 链接
安德斯·沙克·尼尔森

同期入职培训。 （英语） Zbl 1278.68146号

Pientka，B.（ed.）等人，《逻辑框架和元语言：理论与实践第二次国际研讨会论文集》（LFMTP 2007），德国不来梅，2007年7月15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记196，37-51（2008）。
MSC公司：第68季度55 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Schack-Nielsen}，电子。注释Theor。计算。科学。196、37-51（2008年；Zbl 1278.68146）
全文： 链接
Daniel K·李。；卡尔·克里；罗伯特·哈珀

迈向标准ML的机械化元理论。 （英语） Zbl 1295.68088号

2007年1月17日至19日，法国尼斯，POPL'07，第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。173-184 (2007).
MSC公司：68号30 68甲15 68甲18 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.K.Lee}等人，摘自：第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'07，法国尼斯，2007年1月17-19日。纽约州纽约市：计算机协会（ACM）。173-184（2007年；Zbl 1295.68088）
全文： 内政部
唐纳利，凯文；席宏伟

简单型lambda-calculus和系统F的强正规化的形式化。 （英语） Zbl 1278.03035号

Momigliano，Alberto（编辑）等人，《逻辑框架和元语言：理论与实践第一次国际研讨会论文集》（LFMTP 2006），西雅图，华盛顿州，美国，2006年8月16日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第5期，109-125（2007）。
MSC公司：03B40型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{K.Donnelly}和\textit{H.Xi}，电子。注释Theor。计算。科学。174，第5号，109--125（2007；Zbl 1278.03035）
全文： 链接
Tiu，Alwen先生

对一般判断进行推理的逻辑。 （英语） Zbl 1278.03068号

Momigliano，Alberto（编辑）等人，《逻辑框架和元语言：理论与实践第一次国际研讨会论文集》（LFMTP 2006），西雅图，华盛顿州，美国，2006年8月16日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第5期，第3-18页（2007年）。
MSC公司：03B70号 03B40型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Tiu}，电子。注释Theor。计算。科学。174，编号5，3--18（2007；Zbl 1278.03068）
全文： 链接
阿伦·斯塔姆

必要的LF元编程。 （英语） Zbl 1278.03067号

Schürmann，C.（编辑），第四届逻辑框架和元语言国际研讨会论文集（LFM 2004），英国科克，2004年7月5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记199149-159（2008）。
MSC公司：03B70号 68号30 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Stump}，电子。注释Theor。计算。科学。199149-159（2007年；Zbl 1278.03067）
全文： 内政部
凯文·沃特金斯；伊利亚诺·塞维萨托；弗兰克·芬宁；大卫·沃克

指定CLF中并发计算的属性。 （英语） Zbl 1278.03069号

Schürmann，C.（编辑），第四届逻辑框架和元语言国际研讨会论文集（LFM 2004），英国科克，2004年7月5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记199，67-87（2008）。
MSC公司：03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Watkins}等人，《电子》。注释Theor。计算。科学。199、67--87（2007年；Zbl 1278.03069）
全文： 内政部
杰森·里德

混合逻辑框架。 （英语） Zbl 1278.03049号

Patrick Blackburn等人，《混合逻辑国际研讨会论文集》（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第6期，135-148（2007）。
MSC公司：03B45 03B47号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Reed}，电子。注释Theor。计算。科学。174，编号6，135-148（2007年；兹bl 1278.03049）
全文： 内政部
碧姬·品特卡

具有高阶抽象语法和显式替换的函数式编程。 （英语） Zbl 1277.68050号

Stump，Aron（ed.）等人，《编程语言程序符合程序验证》（PLPV 2006），西雅图，华盛顿州，美国，2006年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第7期，41-60（2007）。
MSC公司：68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Pientka}，电子。注释Theor。计算。科学。174，第7号，41--60（2007；Zbl 1277.68050）
全文： 内政部
Healfdene戈根

类型理论中eta相等的句法方法。 （英语） Zbl 1369.68137号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。75-84 (2005).
MSC公司：68号30 03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{H.Goguen}，in：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。75-84（2005年；Zbl 1369.68137）
全文： 内政部
伯恩哈德·海尼曼

支持拓扑推理的知识的混合逻辑。 （英语） Zbl 1108.68386号

Rattray，Charles（编辑）等人，代数方法论和软件技术。第十届国际会议，AMAST 2004，英国苏格兰斯特灵，2004年7月12-16日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。计算机科学讲义3116，181-195（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Heinemann}，莱克特。票据计算。科学。3116、181--195（2004；Zbl 1108.68386）
全文： 内政部
Jean-Paul Bodeveix公司；马蒙·菲拉利

B中的类型合成和B到PVS的转换。 （英语） Zbl 1044.68105号

Bert，Didier（编辑）等人，ZB 2002:Z和B中的正式规范和开发。第二届B和Z用户国际会议，法国格勒诺布尔，2002年1月23日至25日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43166-7）。莱克特。票据计算。科学。2272, 350-369 (2002).
MSC公司：第68季度55 68甲18 68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Bodeveix}和\textit{M.Filali}，莱克特。票据计算。科学。2272350-369（2002年；Zbl 1044.68105）
全文： 链接
马里诺·米库兰

在语境理论中发展（lambda）演算的（元）理论。 （英语） Zbl 1268.68050号

Ambler，S.J.（编辑）等人，MERLIN 2001。2001年6月18日，意大利锡耶纳，《关于变量绑定语言的机械化推理研讨会论文集》（与IJCAR 2001相关）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》58，第1期，37-58（2001）。
MSC公司：68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Miculan}，电子。注释Theor。计算。科学。58，第1号，37--58（2001；Zbl 1268.68050）
全文： 内政部
Furio Honsell；马里诺·米库兰；伊万·斯卡格内托

HOAS中名义代数元推理的公理方法。 （英语） Zbl 0986.68016号

Orejas，Fernando（编辑）等人，《自动化、语言和编程》。2001年7月8日至12日在希腊克里特岛举行的第28届国际学术讨论会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2076, 963-978 (2001).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Honsell}等人，Lect。票据计算。科学。2076、963--978（2001；Zbl 0986.68016）
全文： 链接
费卢西奥·达米亚尼；普罗斯特、弗雷德里克

使用秩2交集检测并删除死码。 （英语） Zbl 0927.03050号

Giménez，Eduardo（编辑）等人，《证明和程序的类型》。1996年12月15日至19日，法国奥索瓦，96年国际研讨会类型。精选论文。柏林：斯普林格。莱克特。票据计算。科学。1512, 66-87 (1998).
MSC公司：03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit｛F.Damiani｝和\textit｛F.Prost｝，Lect。票据计算。科学。1512，66--87（1998；Zbl 0927.03050）
蒂尔·莫萨科夫斯基

逻辑框架之间的箭头类型不同。 （英语） Zbl 1046.68509号

Meyer auf der Heide，Friedhem（编辑）等人，《自动化，语言和编程》。1996年7月8日至12日，第23届国际学术讨论会，ICALP’96，德国帕德博恩。诉讼程序。柏林：施普林格出版社（ISBN 3-540-61440-0/pbk）。莱克特。票据计算。科学。1099, 158-169 (1996).
MSC公司：68号30 68问题65 18个C20 18 C50
PDF格式BibTeX公司 XML格式引用
\文本｛T.Mossakowski｝，Lect。票据计算。科学。1099、158--169（1996年；Zbl 1046.68509）
汉斯·约尔格·克鲁斯基；蒂尔·莫萨科夫斯基

机构之间的等价性和差异：用基本代数模拟Horn子句逻辑。 （英语） Zbl 0849.68080号

数学。结构。计算。科学。 5，第2期，189-215（1995）.
审核人：C.Masalagiu（伊阿什）
MSC公司：68问题65 03B20型 03G30型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.-J.Krowski}和\textit{T.Mossakowski}，数学。结构。计算。科学。5，第2号，189--215（1995；Zbl 0849.68080）
全文： 内政部
杰拉德·休特（编辑）；戈登·普洛金（编辑）

逻辑框架。1990年5月7日至11日在法国索菲亚·安蒂波利斯举行的第一届年度研讨会“逻辑框架：设计、实施和实验”会议记录。 （英语） Zbl 0741.00063号

剑桥等：剑桥大学出版社。xii，403页（1991年）。
MSC公司：00B25型 03-06 68-06
PDF格式BibTeX公司 XML格式引用
\textit{G.Huet}（编辑）和\textit{G.Plotkin}（主编），逻辑框架。1990年5月7日至11日在法国索菲亚·安蒂波利斯举行的第一届年度研讨会“逻辑框架：设计、实施和实验”会议记录。剑桥等：剑桥大学出版社（1991；Zbl 0741.00063）
布罗伊，M。（编辑）；C.B.琼斯。（编辑）

编程概念和方法。IFIP工作组2.2/2.3工作会议记录，以色列加利利海，1990年4月2日至5日。 （英语） 兹伯利0744.68016

阿姆斯特丹等地：荷兰北部。八、 第581页（1990年）。
审核人：N.Curteanu（伊阿什）
MSC公司：68-06 68号01 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Broy}（编辑）和\textit{C.B.Jones}（编），编程概念和方法。1990年4月2日至5日在以色列加利利海举行的国际捕鲸联合会第2.2/2.3号工作组会议记录。阿姆斯特丹等：北荷兰（1990；Zbl 0744.68016）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件