×

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

最新的 引文 关联
伊夫·贝托特

自然计算自动化。（自然语义中剩余计算的自动化。） （法语） Zbl 0851.68030号

罗克扬科特：国家信息与自动化研究所（INRIA）。iv，184 p.（托塞，尼斯大学）（1991年）。
审核人：G.Barthe（MR 95g:68028）
MSC公司：2010年第68季度 03B70号 68-02 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Bertot}，自然语义中剩余计算的自动化。罗克扬科特：国家信息与自动化研究所（INRIA）（1991；Zbl 0851.68030）
马克·约翰逊

逻辑和特征结构。 （英语） Zbl 0757.03012号

人工智能，IJCAI-91，Proc。第十二届国际会议，悉尼/澳大利亚，1991，992-996（1991）。
审核人：N.Curteanu（伊阿什）
MSC公司：03B65号 68T27型 68T50型 03B20型 03B25号 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{M.Johnson}，in：IJCAI 91，第十二届国际人工智能会议论文集。1991年8月24日至30日，澳大利亚悉尼。第1-2卷。加利福尼亚州圣马特奥：Morgan Kaufmann Publ。。992-996（1991；Zbl 0757.03012）
张康;雷·托马斯

用于并行prolog实现的非共享绑定方案。 （英语） Zbl 0749.68022号

人工智能，IJCAI-91，Proc。第十二届国际会议，悉尼/澳大利亚，1991，877-882（1991）。
审核人：N.Curteanu（伊阿什）
MSC公司：68N17号 2005年第68季度 68T99型 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Zhang}和\textit{R.Thomas}，in：IJCAI 91，第十二届国际人工智能会议论文集。1991年8月24日至30日，澳大利亚悉尼。第1-2卷。加利福尼亚州圣马特奥：Morgan Kaufmann Publ。。877--882（1991年；Zbl 0749.68022）
哈伊姆·盖夫曼;迈克尔·马赫（Michael J.Maher）。;埃胡德·夏皮罗

不确定并发程序的重播、恢复、复制和快照。 （英语） 兹伯利1314.68183

1991年8月19日至21日，加拿大魁北克省蒙特利尔市，第十届ACM分布式计算原理年度研讨会论文集，PODC’91。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-439-2）。241-255 (1991).
MSC公司：60年第68季度 68N17号 68甲19 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Gaifman}等人，in：第十届ACM分布式计算原理研讨会论文集，PODC’91，蒙特利尔，魁北克省，加拿大，1991年8月19-21日。纽约州纽约市：计算机协会（ACM）。241--255（1991年；Zbl 1314.68183）
全文： 内政部
塞尔吉奥·安托伊

逻辑上的懒惰评估。 （英语） Zbl 0797.68031号

Maluszyñski，Jan（编辑）等人，《编程语言实现和逻辑编程》。1991年8月26日至28日，第三届国际研讨会，PLILP’91，德国帕绍。诉讼程序。柏林等：施普林格出版社。莱克特。注释计算。科学。528, 371-382 (1991).
MSC公司：68N17号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Antoy}，莱克特。注释计算。科学。528371--382（1991年；Zbl 0797.68031）
斯特芬，埃克哈德

“缺省逻辑”和自认知逻辑中决策问题的复杂性。（Die Komplexität von Entscheidungsproblemen in der“Default-Logic”under autoceptemischen Logik） （德语） Zbl 0757.03006号

比勒费尔德：比勒费尔德大学，Fak。福尔数学。59 S.（1991）。
审核人：S.Gottwald（莱比锡）
MSC公司：03B25号 03B60号 2015年3月1日 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{E.Steffen}，Die Komplexität von Entscheidungsproblemen in der“Default-Logic”under autoceptemischen Logik。比勒费尔德大学：法克。福尔数学。（1991年；兹bl 0757.03006）
弗里德里希·鲍尔。（编辑）

逻辑、代数和计算。1989年7月25日至8月6日，FRG Marktoberdorf的诉讼。 （英语） Zbl 0745.68004号

北约ASI系列，F.79。柏林等：施普林格出版社。六、 485页（1991年）。
审核人：R.David（香槟）
MSC公司：68-06 68问题65 03B70号 60年第68季度 68吨15 03B35型 03B40型 03B15号机组 2010年第68季度 68问题85 68N17号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit｛F.L.Bauer｝（编辑），《逻辑、代数和计算》。1989年7月25日至8月6日，FRG Marktoberdorf的诉讼。柏林等：Springer-Verlag（1991；Zbl 0745.68004）
Junichi Tatemura;田中秀彦

并行逻辑编程语言Fleng的调试器。 （英语） Zbl 0792.68020号

Furukawa，Koichi（编辑）等人，《逻辑编程》，89年。第八届会议记录，日本东京，1989年7月12日至14日。柏林等：斯普林格-弗拉格。莱克特。注释计算。科学。485, 87-96 (1991).
MSC公司：68N17号 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Tatemura}和\textit{H.Tanaka}，Lect。注释计算。科学。48587--96（1991年；Zbl 0792.68020）
D.M.加巴伊。

资源递减的算法证明。一、。 （英语） Zbl 0811.68111号

Börger，Egon（编辑）等人，《计算机科学逻辑》。1990年10月1日至5日，德国海德堡CSL’90第四次研讨会。诉讼程序。柏林等：施普林格出版社。莱克特。注释计算。科学。533, 156-173 (1991).
MSC公司：68吨15 05B20号 68T27型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}，莱克特。注释计算。科学。533156--173（1991年；Zbl 0811.68111）
布鲁诺·库塞尔（编辑）

逻辑与计算机科学导论。（逻辑与信息：引言。莫里斯·尼瓦特的先锋建议。） （法语） Zbl 0746.03003号

Didactique系列. 8. 罗克扬科特：INRIA.257 p.（1991）。
审核人：C.Masalagiu（伊阿什）
MSC公司：03-06 00B15号机组 68-06 03-02 68-02 68问题55 03B25号 05年3月 35楼03号 03B40型 03B70号 60年第68季度 68N17号 03B20型 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{B.Courcelle}（编辑），Logique et informatique:une简介。莫里斯·尼瓦特的先锋建议。罗克盖恩科特：INRIA（1991；Zbl 0746.03003）
皮埃尔·佩拉多

公式、数字谓词和可识别的语言。 （英语） Zbl 0800.68442号

约翰·罗兹（编辑），《单体和半群及其应用》。《伯克利幺半群研讨会论文集》，美国加利福尼亚州伯克利，1989年7月31日至8月5日。新加坡等：世界科学出版社。493-508 (1991).
MSC公司：2015年第68季度 2015年3月1日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Péladeau}，in：单体和半群及其应用。《伯克利幺半群研讨会论文集》，美国加利福尼亚州伯克利，1989年7月31日至8月5日。新加坡等：世界科学出版社。493--508（1991年；Zbl 0800.68442）
霍华德·斯特劳宾

自动化、逻辑和计算复杂性。 （英语） Zbl 0799.20064

约翰·罗兹（编辑），《单体和半群及其应用》。《伯克利幺半群研讨会论文集》，美国加利福尼亚州伯克利，1989年7月31日至8月5日。新加坡等：世界科学出版社。467-492 (1991).
MSC公司：20立方米 65年第68季度 70年第68季度 68瓦30 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{H.Straubing}，in：单体和半群及其应用。《伯克利幺半群研讨会论文集》，美国加利福尼亚州伯克利，1989年7月31日至8月5日。新加坡等：世界科学出版社。467--492（1991年；Zbl 0799.20064）
Krzysztof R.阿普特。;霍华德·布莱尔。

分层程序的完美模型的算法分类。 （英语） Zbl 0726.68040号

安.社会.数学。政策。，序列号。四、 芬丹。信息。 14，第3期，339-343（1991）.
审核人：O.Štěpánková（普拉哈）
MSC公司：65年第68季度 68N17号 03D55号 2015年3月1日 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.R.Apt}和\textit{H.A.Blair}，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.14，No.3，339--343（1991；Zbl 0726.68040）
于加夫里连科。五、。

主逻辑计算的结构和幂等元的分解。 （英语。俄文原件） Zbl 0796.68059号

苏联。数学。，多克。 43，第3期，752-756（1991年）; Dokl翻译。阿卡德。Nauk SSSR 318，第4期，789-793（1991年）。
MSC公司：68N17号 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{Yu.V.Gavrilenko}，苏联。数学。，多克。43，No.3，752--756（1991；Zbl 0796.68059）；Dokl翻译。阿卡德。Nauk SSSR 318，第4号，789--793（1991）
于加夫里连科。五、。

逻辑计算专业。逻辑编程中关于升降的引理。 （英语。俄文原件） Zbl 0796.68058号

苏联。数学。，多克。 43，No.3，716-720（1991）; Dokl翻译。阿卡德。Nauk SSSR 318，第3期，528-532（1991年）。
MSC公司：68N17号 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{Yu.V.Gavrilenko}，苏联。数学。，多克。43，No.3，716--720（1991；Zbl 0796.68058）；Dokl翻译。阿卡德。Nauk SSSR 318，No.3，528--532（1991）
买，乌戈;罗伯特·摩尔

实时性分析和并发程序的自动生成。 （英语） Zbl 0796.68143号

90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。理论。计算。科学。3, 535-550 (1991).
MSC公司：60年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Buy}和\textit{R.Moll}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。535-550（1991年；Zbl 0796.68143）
兰斯·克莱维兰

关于自动区分不等价过程。 （英语） Zbl 0786.68033号

90年计算机辅助验证。第二届DIMACS研讨会，新不伦瑞克/新泽西州（美国），1990年，DIMACS，Ser。谨慎。数学。理论。计算。科学。3, 463-476 (1991).
MSC公司：2010年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{R.Cleaveland}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。463-476（1991年；Zbl 0786.68033）
伯恩哈德·约斯科

克里普克结构之间的上下文相关等价关系。 （英语） Zbl 0797.68061号

计算机辅助验证’90，Proc。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。理论。计算。科学。3, 341-358 (1991).
MSC公司：2010年第68季度 68问题85 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{B.Josko}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。341--358（1991年；Zbl 0797.68061）
Hiromi Hiraishi;新太郎梅基;清朝滨口

计算树逻辑的矢量化模型检查。 （英语） Zbl 0774.68079号

90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。理论。计算。科学。3, 219-230 (1991).
审核人：L.Brim（布尔诺）
MSC公司：68问题55 03B45号 68米15 03-04
PDF格式BibTeX公司 XML格式引用
\textit{H.Hiraishi}等人，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约，纽约：计算机协会。219--230（1991年；Zbl 0774.68079）
安蒂·瓦尔马里

对国家爆炸的顽强攻击。 （英语） Zbl 0786.68069号

90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。理论。计算。科学。3, 25-41 (1991).
MSC公司：60年第68季度 2010年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.Valmari}，in：计算机辅助验证'90。第二次DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学：美国数学学会普罗维登斯；纽约州纽约市：计算机协会。25-41（1991年；Zbl 0786.68069）
Edmund M.jun Clarke。

时序逻辑模型检查：两种避免状态爆炸问题的技术。 （英语） Zbl 0786.68058号

90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。理论。计算。科学。3, 1-2 (1991).
MSC公司：60年第68季度 03B45号 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke jun.}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。1--2（1991年；Zbl 0786.68058）
A.Bouajjani。;J.C.费尔南德斯。;格拉芙，S。;罗德里格斯，C。;J.西法基斯。

分支时间语义的安全性。 （英语） Zbl 0769.68089号

自动化、语言和编程、Proc。第18届国际学术讨论会，马德里/西班牙，1991年，勒克特。注释计算。科学。510, 76-92 (1991).
MSC公司：60年第68季度 68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，Lect。注释计算。科学。510、76-92（1991年；Zbl 0769.68089）
吕克·阿尔伯特;拉斐尔·卡萨斯;弗朗索瓦·法赫斯;A.托雷西拉斯。;保罗·齐默尔曼

统一算法的平均案例分析。 （英语） Zbl 0764.68056号

计算机科学的理论方面，Proc。第8年。症状。，德国汉堡STACS’91。1991年，法律。注释计算。科学。480, 196-213 (1991).
MSC公司：65年第68季度 68N17号 68瓦30 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{L.Albert}等人，Lect。注释计算。科学。480196-213（1991年；Zbl 0764.68056）
尤兰达奥尔特加购物中心;戴维·德·弗鲁托斯·埃斯克里格

时间观测的完整证明系统。 （英语） Zbl 0967.68512号

Abramsky，S.（编辑）等人，TAPSOFT’91。软件开发理论与实践国际联合会议论文集，英国布莱顿，1991年4月8日至12日。第1卷：代数和编程中的树讨论会（CAAP’91）。柏林：Springer-Verlag。莱克特。注释计算。科学。493, 412-440 (1991).
MSC公司：2005年第68季度 03B70号 2010年第68季度 68问题55 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Ortega-Mallén}和\textit{D.de Frutos-Escrig}，莱克托。注释计算。科学。493412--440（1991年；Zbl 0967.68512）
德波尔（Frank S。;卡图西亚帕拉米德斯

并发约束编程的完全抽象模型。 （英语） Zbl 0967.68516号

Abramsky，S.（编辑）等人，TAPSOFT’91。软件开发理论与实践国际联合会议论文集，英国布莱顿，1991年4月8日至12日。第1卷：代数和编程中的树讨论会（CAAP’91）。柏林：Springer-Verlag。莱克特。注释计算。科学。493, 296-319 (1991).
MSC公司：2010年第68季度 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.S.de Boer}和\textit{C.Palamidessi}，莱克特。注释计算。科学。493296-319（1991年；兹bl 0967.68516）
威克托·马雷克;格里戈里·施瓦茨。;特鲁什琴斯基，米洛斯奥

模态非单调逻辑：范围，特征，计算。 （英语） Zbl 0765.03014号

知识表示和推理原理。第二届国际会议，剑桥/马萨诸塞州（美国）1991，395-404（1991）。
MSC公司：03B60号 68T27型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{W.Marek}等人，《知识表示和推理原理》。1991年4月22日至25日，美国马萨诸塞州坎布里奇市，第二届国际会议记录（KR’91）。加利福尼亚州圣马特奥：Morgan Kaufmann Publishers，Inc.，395--404（1991；Zbl 0765.03014）
蒂莫西·巴德（Timothy A.Budd）。

基于lambda表达式的并行中间表示。 （英语） Zbl 0800.68273号

数组、函数语言和并行系统。第一届国际研讨会，加拿大魁北克省蒙特利尔，1990年，145-153年（1991年）。
MSC公司：68甲15 03B40型 2010年第68季度 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Budd}，in：数组、函数语言和并行系统。第一次国际研讨会于1990年6月12日至15日在加拿大魁北克省蒙特利尔举行。诉讼程序。多德雷赫特：Kluwer学术出版集团。145-153（1991年；兹bl 0800.68273）
蔡金一

无限群上的计算。 （英语） Zbl 0925.2004年4月

Budach，Lothar（编辑），《计算理论基础》。1991年9月9日至13日，第八届国际会议，FCT’91，德国戈森。诉讼程序。柏林等：施普林格出版社。莱克特。注释计算。科学。529, 22-32 (1991).
MSC公司：2010年1月20日 03D40号 2007年7月57日 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{J.-Y.Cai}，莱克特。注释计算。科学。529，22--32（1991；Zbl 0925.20044）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件