×

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

最新的 引文 关联
马内尔·巴卡拉;Jean-Marie雅克

关于巴赫作品中保护列表的引入：表达性、正确性和效率问题。 （英语） 兹伯利07820785

Aubert，Clément（ed.）等人，《第16届交互和并发体验研讨会论文集》，ICE 2023，葡萄牙里斯本，2023年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）38355-72（2023年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Barkallah}和\textit{J.-M.Jacquet}，电子。程序。理论。计算。科学。（EPTCS）383，55-72（2023年；Zbl 07820785）
全文： 内政部 arXiv公司
纪尧姆·费伊莱德;安德烈亚斯·赫齐格;克里斯托斯·兰苏迪斯

通过动态逻辑中的事件-条件-操作规则修复数据库。 （英语） 兹比尔07630640

Varzinczak，Ivan（编辑），《信息和知识系统基础》。第十二届国际研讨会，FoIKS 2022，芬兰赫尔辛基，2022年6月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13388, 75-92 (2022).
MSC公司：第68页，共15页 68T27型 68层35 68单位35
PDF格式BibTeX公司 XML格式引用
\textit｛G.Feuillade｝等人，Lect。注释计算。科学。13388，75-92（2022；Zbl 07630640）
全文： 内政部 哈尔
佩德罗·卡巴拉尔;斯特凡妮娅·科斯坦蒂尼;乔瓦尼·德·加斯佩里斯;安德烈亚·福米萨诺

动态环境中的多控制系统。 （英语） Zbl 1485.68246号

安。数学。Artif公司。智力。 86，编号1-3，87-120（2019）.
MSC公司：68T27型 68立方英尺 68层35 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}等人，《数学年鉴》。Artif公司。智力。86，编号1--3，87-120（2019；Zbl 1485.68246）
全文： 内政部 arXiv公司
保罗·巴尔丹;罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里

具有持久性的Petri网的事件结构。 （英语） Zbl 1417.68113号

日志。方法计算。科学。 14，第3号，第25号论文，30页（2018年）.
审核人：克莱门特·奥伯特（奥古斯塔）
MSC公司：68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《日志》。方法计算。科学。14，第3号，第25号论文，30页（2018；Zbl 1417.68113）
全文： 内政部 arXiv公司
大卫·布雷索林;伊万·拉内斯

大多数通用的属性保护更新。 （英语） Zbl 1485.68135号

Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 367-379 (2017).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Bresolin}和\textit{I.Lanese}，莱克特。注释计算。科学。10168、367--379（2017；Zbl 1485.68135）
全文： 内政部 哈尔
格哈德·布鲁卡;斯特凡·埃尔莫塔勒;里卡多·贡萨阿尔维斯;马蒂亚斯·克诺尔;约昂·莱特;约格·普勒

反应式多上下文系统中的不一致性管理。 （英语） 兹比尔1444.68197

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 529-535 (2016).
MSC公司：68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{G.Brewka}等人，Lect。注释计算。科学。10021529-535（2016年；兹比尔1444.68197）
全文： 内政部 链接
斯特凡·埃尔莫塔勒;约格·普勒

异步多上下文系统。 （英语） Zbl 1432.68460号

Eiter，Thomas（编辑）等人，《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。9060, 141-156 (2015).
MSC公司：68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Ellmauthaler}和\textit{J.Pührer}，莱克特。注释计算。科学。9060，141--156（2015；Zbl 1432.68460）
全文： 内政部 arXiv公司
马丁·斯洛塔;约昂·莱特

关于知识更新的统一观点。 （英语） Zbl 1362.68268号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学讲义7519。人工智能课堂讲稿，372-384（2012）。
MSC公司：68T27型 03B42号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Slota}和\textit{J.Leite}，莱克特。注释计算。科学。7519、372--384（2012年；Zbl 1362.68268）
全文： 内政部
帕特里克·克伦佩尔曼;加布里埃尔·克恩·伊斯伯纳

答案集编程的信念库更改操作。 （英语） Zbl 1361.68033号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。《人工智能课堂讲稿》，294-306（2012）。
MSC公司：68N17号 03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{P.Krümpelmann}和\textit{G.Kern-Isberner}，Lect。注释计算。科学。7519、294--306（2012；Zbl 1361.68033）
全文： 内政部
阿尔弗雷多·加巴登

具有偏好的逻辑程序的选择性语义。 （英语） Zbl 1361.68032号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。《人工智能课堂讲稿》，215-227（2012）。
MSC公司：68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\发短信{A.Gabaldon}，Lect。注释计算。科学。7519、215--227（2012；Zbl 1361.68032）
全文： 内政部
瓦伦蒂安·瓦莱罗;赫梅内吉尔达·马西阿;胡安·何塞·帕尔多;玛丽亚·艾米莉亚·坎布罗内罗;格雷戈里奥·迪亚斯

将具有优先级和时间约束的web服务编排转换为具有优先级的时间着色Petri网。 （英语） Zbl 1243.68042号

科学。计算。程序。 77，第3号，290-313（2012）.
MSC公司：68英里11 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Valero}等人，科学。计算。程序。77，第3号，290--313（2012；Zbl 1243.68042）
全文： 内政部
何塞·安东尼奥·马丁;埃内斯托·皮门特尔

自动生成适应合同。 （英语） Zbl 1347.68090号

Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，115-131（2009）。
MSC公司：68号30 68米14 60年第68季度 68问题85 68层35 68瓦32
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Martín}和\textit{E.Pimentel}，电子。注释Theor。计算。科学。229，No.2，115--131（2009；Zbl 1347.68090）
全文： 内政部
Peter Y.H.Wong。;杰里米·吉本斯

BPMN的相对定时语义。 （英语） Zbl 1347.68215号

Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，59-75（2009）。
MSC公司：68问题55 68号30 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Y.H.Wong}和\textit{J.Gibbons}，电子。注释Theor。计算。科学。229，第2号，59-75（2009；Zbl 1347.68215）
全文： 内政部
法哈德·阿尔巴;孙孟;克里斯特尔·拜尔

根据基于场景的规范合成Reo电路。 （英语） Zbl 1347.68024号

Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，21-41（2009）。
MSC公司：68米14 68个M12 68号30 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Arbab}等人，《电子》。注释Theor。计算。科学。229，第2号，第21-41号（2009；Zbl 1347.68024）
全文： 内政部
克里斯蒂安·斯塔尔;彼得·马苏斯;Bretschneider，简

用操作指南决定服务的可替代性。 （英语） Zbl 1235.68320号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型的事务处理II》。进程软件信息系统中并发性的特殊问题。柏林：施普林格出版社（ISBN 978-3-642-00898-6/pbk）。计算机科学课堂讲稿5460。《期刊副刊》，172-191（2009）。
MSC公司：68单位35 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Stahl}等人，Lect。注释计算。科学。5460、172--191（2009年；Zbl 1235.68320）
全文： 内政部 链接
卡斯滕·沃尔夫

我的服务有合作伙伴吗？ （英语） Zbl 1235.68321号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型的事务处理II》。进程软件信息系统中并发性的特殊问题。柏林：施普林格出版社（ISBN 978-3-642-00898-6/pbk）。计算机科学课堂讲稿5460。《期刊副刊》，152-171（2009）。
MSC公司：68单位35 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Wolf}，莱克特。注释计算。科学。5460、152--171（2009年；Zbl 1235.68321）
全文： 内政部
马丁·斯洛塔;约昂·莱特

EVOLP：实现。 （英语） Zbl 1175.68464号

Sadri，Fariba（编辑）等人，多智能体系统中的计算逻辑。第八届国际研讨会，CLIMA VIII，葡萄牙波尔图，2007年9月10日至11日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-88832-1/pbk）。计算机科学课堂讲稿5056。人工智能课堂讲稿，288-298（2009）。
MSC公司：68T42型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Slota}和\textit{J.Leite}，莱克特。注释计算。科学。5056288--298（2009年；Zbl 1175.68464）
全文： 内政部
马丁·斯洛塔;约昂·莱特

EVOLP：基于转换的语义。 （英语） Zbl 1175.68463号

Sadri，Fariba（编辑）等人，《多智能体系统中的计算逻辑》。第八届国际研讨会，CLIMA VIII，葡萄牙波尔图，2007年9月10日至11日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-88832-1/pbk）。计算机科学课堂讲稿5056。人工智能课堂讲稿，117-136（2009）。
MSC公司：68T42型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Slota}和\textit{J.Leite}，莱克特。注释计算。科学。5056117--136（2009年；Zbl 1175.68463）
全文： 内政部
丁左华;陈振邦;刘静

服务组件体系结构的严格模型。 （英语） Zbl 1279.68053号

Pu，Geguang（编辑）等人，《利用理论为软件工具支持服务的第一届国际研讨会论文集》（TTSS 2007），中国澳门，2007年9月22日至23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记207，33-48（2008）。
MSC公司：68号30 68问题55 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Z.Ding}等人，《电子》。理论注释。计算。科学。207、33-48（2008年；Zbl 1279.68053）
全文： 内政部
何塞·普伦萨;克拉克、戴夫

比较了Orc和Reo的协调模型。 （英语） 兹比尔1277.68201

Carlos Canal（编辑）等人，第六届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2007），葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第4期，57-76（2008）。
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Proença}和\textit{D.Clarke}，电子。注释Theor。计算。科学。194，第4号，57-76（2008年；兹bl 1277.68201）
全文： 内政部
路易斯·莫尼兹·佩雷拉;亚历山大·米盖尔·平托

协作与冲突学习、进化和论证。 （英语） Zbl 1181.68211号

Tizhoosh，Hamid R.（编辑）等人，《计算智能中的对立概念》。柏林：施普林格出版社（ISBN 978-3-540-70826-1/hbk）。计算智能研究155，61-89（2008）。
MSC公司：68T05型
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Pereira}和\textit{A.M.Pinto}，Stud.Comput。智力。155、61-89（2008年；Zbl 1181.68211）
全文： 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;巴巴拉·科尼格

开放Petri网：非确定性过程和组合性。 （英语） Zbl 1175.68269号

Ehrig，Hartmut（编辑）等人，《图形变换》。2008年9月7日至13日，第四届国际会议，ICGT 2008，英国莱斯特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，257-273（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，Lect。注释计算。科学。5214257-273（2008年；兹比尔1175.68269）
全文： 内政部
菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇

通过网络的行为等效实现web服务的组合规范：案例研究。 （英语） Zbl 1143.68474号

van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。2008年6月23日至27日，第29届国际会议，PETRI NETS 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。《计算机科学讲义》5062，52-71（2008）。
MSC公司：68问题85 68M10个
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。5062、52--71（2008年；Zbl 1143.68474）
全文： 内政部 链接
路易斯·莫尼兹·佩雷拉;亚历山大·米盖尔·平托

正常逻辑程序的批准模型。 （英语） Zbl 1137.68340号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，454-468（2007）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛L.M.Pereira｝和\textit｛A.M.Pinto｝，Lect。注释计算。科学。4790、454--468（2007年；Zbl 1137.68340）
全文： 内政部
拉曼·卡扎米亚金;马可·皮斯托雷

分析web服务编排的实现条件。 （英语） Zbl 1225.68032号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿422961-76（2006）。
MSC公司：68M10个 68英里11 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{R.Kazhamakin}和\textit{M.Pistore}，莱克特。注释计算。科学。422961-76（2006年；Zbl 1225.68032）
全文： 内政部
A.布罗基。;北布西。;Gabbrielli，M。;吉安路易吉·扎瓦塔罗

共享数据空间协调表达能力的比较分析。 （英语） Zbl 1268.68040号

Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，102-115（2002）。
MSC公司：68甲15 68米14
PDF格式BibTeX公司 XML格式引用
\textit{A.Brogi}等人，《电子》。注释Theor。计算。科学。62、102-115（2002年；Zbl 1268.68040）
全文： 内政部
安东尼奥·布罗吉;伊芙琳娜·拉姆;保罗·曼卡雷拉;保罗·梅洛

扩展逻辑编程的诱因框架。 （英语） Zbl 1496.68312号

Marek，V.W.（编辑）等人，《逻辑编程和非单调推理》。第三届国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26-28日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。928, 330-343 (1995).
MSC公司：68T27型 68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Brogi}等人，Lect。注释计算。科学。928330--343（1995年；Zbl 1496.68312）
全文： 内政部
伊萨姆博卡拉利;哈拉提斯，君士坦丁

模块化逻辑编程中导入/导出声明的细化及其语义。 （英语） Zbl 1496.68088号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。第六届CAAP/FASE国际联席会议，1995年5月，丹麦奥胡斯。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 486-500 (1995).
MSC公司：68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{I.卡拉利}和\textit{C.Halatsis}，莱克特。注释计算。科学。915486-500（1995年；Zbl 1496.68088）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件