×

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

最新的 引文 关联
莎拉·温克勒;哈拉尔德·赞克;阿尔特·米德尔多普

Ordinals和Knuth-Bendix命令。 （英语） Zbl 1352.03018号

Björner，Nikolaj（编辑）等人，《编程逻辑、人工智能和推理》。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28716-9/pbk）。计算机科学课堂讲稿7180420-434（2012）。
MSC公司：03B35型 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Winkler}等人，Lect。票据计算。科学。7180420-434（2012；Zbl 1352.03018）
全文： 内政部
伊夫·吉拉德;菲利普·马尔博斯;塞缪尔·米姆拉姆

应用于幺半群相干性的同伦补全过程。 （英语） Zbl 1356.68120号

van Raamsdonk，Femke（编辑），第24届重写技术和应用国际会议（RTA 2013），荷兰埃因霍温，2013年6月24日至26日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-53-8）。LIPIcs–莱布尼茨国际信息学论文集21，223-238（2013）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Guiraud}等人，LIPIcs——莱布尼茨国际程序。通知。21、223--238（2011；Zbl 1356.68120）
全文： 内政部
冈田三弘

胡塞尔和希尔伯特关于完备性和胡塞尔基于术语重写的多重性理论（特邀演讲）。 （英语） Zbl 1356.03006号

van Raamsdonk，Femke（编辑），第24届重写技术和应用国际会议（RTA 2013），荷兰埃因霍温，2013年6月24日至26日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-53-8）。LIPIcs–莱布尼茨国际信息学论文集21，4-19（2013）。
MSC公司：03-03 07年3月 30楼03号 2012年第68季度 01A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Okada}，LIPIcs——莱布尼茨国际程序。通知。21、4--19（2011年；Zbl 1356.03006）
全文： 内政部
伊夫·拉丰特

图表重写和操作。 （英语） Zbl 1277.18004号

Loday，Jean-Louis（编辑）等人，《2009年歌剧》。2009年4月20日至30日，法国鲁米尼，《学校和会议记录》。巴黎：法国数学学会（ISBN 978-2-85629-363-8/pbk）。《Séminaires et CongrèS》第26期，第163-179页（2011年）。
MSC公司：18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{Y.Lafont}，塞敏。恭喜。26163--179（2011年；Zbl 1277.18004）
全文： 链接
多米尼克·克莱恩;Nao广川

最大限度地完成。 （英语） Zbl 1236.68133号

Schmid-Schauß，Manfred（编辑），第22届改写技术和应用国际会议（RTA 2011），塞尔维亚诺维萨德，2011年5月30日至6月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-30-9）。LIPIcs–莱布尼茨国际信息学会议录10，71-80，仅电子版（2011年）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Klein}和\textit{N.Hirokawa}，LIPIcs——莱布尼茨国际程序。通知。10、71——80（2011年；Zbl 1236.68133）
全文： 内政部 链接
莎拉·温克勒;佐藤、晴彦;阿尔特·米德尔多普;栗原、Masahito

优化\（\text{mkb}_{\text{TT}}\）。 （英语） Zbl 1236.68156号

克里斯托弗·林奇（编辑），《第21届改写技术和应用国际会议论文集》（RTA 2010），2010年7月11日至13日，英国斯科特兰爱丁堡。瓦德恩：达格斯图尔宫-莱布尼茨宫（ISBN 978-3-939897-18-7）。LIPIcs–莱布尼茨国际信息学会议录6，373-384，仅电子版（2010年）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Winkler}等人，LIPIcs——莱布尼茨国际程序。通知。6377-384（2010年；兹比尔1236.68156）
全文： 内政部 链接
纪尧姆·伯勒;克洛德·基什内尔

通过抽象补全来减少演绎模中的消去。 （英语） Zbl 1132.03315号

Artemov，Sergei N.（编辑）等人，《计算机科学的逻辑基础》。2007年6月4日至7日在美国纽约州纽约市举行的2007年LFCS国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72732-3/pbk）。计算机科学课堂讲稿4514，115-131（2007）。
MSC公司：03B35型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{G.Burel}和\textit{C.Kirchner}，莱克特。票据计算。科学。4514、115--131（2007年；Zbl 1132.03315）
全文： 内政部 链接
海科·斯塔默

Oleshchuk公钥密码系统的完成攻击和弱密钥。 （英语） 兹比尔1153.94431

Maitra，Subhamoy（编辑）等人，《密码学进展——INDOCRYPT 2005》。第六届印度密码学国际会议，印度班加罗尔，2005年12月10-12日，会议记录。柏林：施普林格出版社（ISBN 978-3-540-30805-8/pbk）。计算机科学课堂讲稿3797209-220（2005）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{H.Stamer}，莱克特。票据计算。科学。3797、209--220（2005年；Zbl 1153.94431）
全文： 内政部
沃尔科夫，V.A。

关键对完成算法的声明表示。 （英语。俄文原件） Zbl 1030.68110号

控制论与系统分析 37，第6号，795-799（2001）; Kibern的翻译。修女。分析。2001年，第6期，第18-24页（2001年）。
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\文本{V.A.Volkov}，Cybern。系统。分析。37，第6号，795--799（2001；Zbl 1030.68110）；翻译自Kibern。修女。分析。2001年，第6号，第18--24号（2001）
全文： 内政部
弗里德里希·奥托

有限幺半群表示的某些限制类的一致决策问题——对最近不可判定性结果的调查。 （英语） Zbl 0969.20030号

Howie，John M.（编辑）等人，《半群与应用》。会议记录，英国圣安德鲁斯，1997年7月2日至9日。新加坡：世界科学。152-170 (1998).
MSC公司：2005年5月20日
PDF格式BibTeX公司 XML格式引用
\textit｛F.Otto｝，在：半群和应用。会议记录，英国圣安德鲁斯，1997年7月2日至9日。新加坡：世界科学。152--170（1998；Zbl 0969.20030）
比吉特·雷内特;克劳斯·马德勒;特奥·莫拉

关于尼尔森约简和陪集计数的注记。 （英语） Zbl 0922.2004年11月

奥利弗·格洛尔（编辑），《1998年符号和代数计算国际研讨会论文集》，ISSAC’98，德国罗斯托克，1998年8月13日至15日。纽约州纽约市：ACM出版社。171-178 (1998).
审核人：J.Harlander（美因河畔法兰克福）
MSC公司：2010年1月20日 2012年第68季度 20-04 20F05型 20C07型
PDF格式BibTeX公司 XML格式引用
\textit{B.Reinert}等人，《1998年符号和代数计算国际研讨会论文集》，ISSAC’98，德国罗斯托克，1998年8月13-15日。纽约州纽约市：ACM出版社。171--178（1998；Zbl 0922.2004）
波里纳州斯特罗戈瓦

使用重写查找有限组表示。 （英语） Zbl 0915.68099号

Bronstein，Manuel（编辑）等人，《符号重写技术》。1995年4月30日至5月4日在瑞士阿斯科纳举行的研讨会论文。巴塞尔：Birkhäuser Verlag。掠夺。计算。科学。申请。日志。15, 267-276 (1998).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Strogova}，程序。计算。科学。申请。日志。15、267--276（1998年；Zbl 0915.68099）
马德勒，K。;F.奥托。

两字母字母表上有限生成的Thue同余的一些不可判定性结果。 （英语） Zbl 0820.68062号

Schock，Eberhard（编辑），Beiträge zur Angewandten Analysis und Informatik。Helmut Brakhage zu Ehren。亚琛：Shaker Verlag。Berichte aus der Mathematik公司。248-261 (1994).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Madlener}和\textit{F.Otto}，收录于：Beiträge zur Angewandten Analysis und Informatik。赫尔穆特·布拉卡赫·祖·埃伦（Helmut Brakhage zu Ehren）。亚琛：Shaker Verlag。248--261（1994；Zbl 0820.68062）
安德烈·萨特勒·克莱恩

关于在Knuth-Bendix完成期间更改订单。 （英语） Zbl 0941.68597号

Patrice Enjalbert等人，STACS 94。1994年2月24日至26日，法国卡昂，第十一届计算机科学理论方面年度研讨会。诉讼程序。柏林：斯普林格。勒克特。票据计算。科学。775, 175-186 (1994).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Sattler-Klein}，莱克特。票据计算。科学。775175--186（1994年；Zbl 0941.68597）
莱因哈德·邦根;曼弗雷德·哥贝尔;沃尔夫冈·库奇林

细粒度并行完成过程。 （英语） 兹比尔0964.68572

Von zur Gatheren，Joachim（编辑）等人，国际标准化协会'94年。符号和代数计算国际研讨会论文集，英国牛津，1994年7月20日至22日。马里兰州巴尔的摩：ACM出版社。269-277 (1994).
MSC公司：68宽10
PDF格式BibTeX公司 XML格式引用
\textit{R.Bündgen}等人，收录于：ISSAC’94。符号和代数计算国际研讨会论文集，英国牛津，1994年7月20-22日。马里兰州巴尔的摩：ACM出版社。269--277（1994年；Zbl 0964.68572）
圣埃芬·卡普兰（编辑）;M.冈田。（编辑）

条件重写和类型重写系统。1990年6月11日至14日，第二次国际CTRS研讨会，加拿大蒙特利尔。诉讼程序。 （英语） Zbl 0756.68010号

计算机科学课堂讲稿516.柏林等：斯普林格·弗拉格。十、 第461页（1991年）。
审核人：D.Kövari（布凯什蒂）
MSC公司：68-06 2012年第68季度 00时25分
PDF格式BibTeX公司 XML格式引用
\textit{S.Kaplan}（编辑）和\textit{M.Okada}（主编），条件重写和类型重写系统。第二届国际CTRS研讨会，加拿大蒙特利尔，1990年6月11-14日。诉讼程序。柏林等：Springer-Verlag（1991；Zbl 0756.68010）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件