×

找到21个文档（结果1–21）

最新的 引文 关联
鲍彻，史蒂夫;罗杰·维尔梅尔

成就游戏的量化布尔运算。 （英语） Zbl 1520.91006号

Edelkamp，Stefan（编辑）等人，KI 2021：人工智能的进展。第44届德国人工智能会议，虚拟活动，2021年9月27日至10月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12873, 30-43 (2021).
MSC公司：91A05型
PDF格式BibTeX公司 XML格式引用
\textit{S.Boucher}和\textit{R.Villemaire}，莱克特。注释计算。科学。12873，30--43（2021；Zbl 1520.91006）
全文： DOI程序
霍尔，西尔万;罗杰·维尔梅尔;奥马尔·切尔考伊;鲁迪·迪卡

数据软件自动序列生成的逻辑方法。 （英语） Zbl 1350.68247号

Gavrilova，Marina L.（编辑）等，《计算科学学报》第十五卷。自主计算进展专题：自然灵感计算系统的形式化工程方法。柏林：施普林格出版社（ISBN 978-3-642-28524-0/pbk）。计算机科学课堂讲稿7050。《期刊副刊》，192-216（2012）。
MSC公司：68T20型 03B70号 68页99 68瓦32
PDF格式BibTeX公司 XML格式引用
\textit{S.Hallé}等人，Lect。注释计算。科学。7050192-216（2012；Zbl 1350.68247）
全文： DOI程序
罗杰·维勒梅尔;米歇尔·赫伯特

交换群和模的理论在扩张下保持不变。 （英语） Zbl 1147.03016号

Löwe，Benedikt（编辑），代数，逻辑，集合论。Festschrift für Ulrich Felgner祖姆65岁。格伯茨塔格。伦敦：国王学院出版物（ISBN 1-904987-28-1/hbk）。《逻辑研究》（伦敦）4239-254（2007）。
审核人：保罗·埃克洛夫（欧文）
MSC公司：03C60型 03C40号 16B70型 20K35型
PDF格式BibTeX公司 XML格式引用
\textit{R.Villemaire}和\textit{M.Hébert}，Stud.Log。（伦敦）4239--254（2007；Zbl 1147.03016）
罗杰·维尔梅尔

命题微积分的近似语义。 （英语） Zbl 1014.03036号

Diks，Krzysztof（编辑）等人，《2002年计算机科学的数学基础》。2002年8月26日至30日在波兰华沙举行的2002年MFCS第27届研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2420, 637-649 (2002).
MSC公司：03B70号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{R.Villemaire}，莱克特。注释计算。科学。2420、637--649（2002年；Zbl 1014.03036）
全文： 链接
克里斯蒂安·米乔克斯;罗杰·维勒梅尔

围绕Büchi和Presburger算术的开放性问题。 （英语） Zbl 0865.03008号

Hodges，Wilfrid（编辑）等人，《逻辑：从基础到应用》。欧洲逻辑研讨会，英国基尔，1993年7月20日至29日。牛津：克拉伦登出版社。353-383 (1996).
审核人：T.Pheidas（伊拉克利翁）
MSC公司：03B25号 03-02 05年3月 03英尺30英寸
PDF格式BibTeX公司 XML格式引用
\textit{C.Michaux}和\textit{R.Villemaire}，in：逻辑：从基础到应用。欧洲逻辑座谈会，英国基尔，1993年7月20日至29日。牛津：克拉伦登出版社。353--383（1996年；Zbl 0865.03008）
维罗尼克·布鲁埃;乔治·汉塞尔;克里斯蒂安·米乔克斯;罗杰·维尔梅尔

逻辑和\（p\）可识别的整数集。 （英语） Zbl 0804.11024号

牛市。贝尔格。数学。Soc.-西蒙·斯特文 191-238年第1期第2期（1994年）.
审核人：Jean-Paul Allouche（马赛）
MSC公司：11B85号 05年3月 68兰特 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Bruyère}等人，公牛。贝尔格。数学。Soc.-Somon Stevin 1，No.2，191--238（1994；Zbl 0804.1024）
全文： 欧洲DML
克里斯蒂安·米乔克斯;罗杰·维尔梅尔

从Büchi定理看科巴姆定理。 （英语） Zbl 1422.68156号

Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。700, 325-334 (1993).
MSC公司：65年第68季度 05年3月 03英尺30英寸 11B85号
PDF格式BibTeX公司 XML格式引用
\textit{C.Michaux}和\textit{R.Villemaire}，莱克特。注释计算。科学。700325--334（1993年；Zbl 1422.68156）
全文： DOI程序
罗杰·维尔梅尔

连接（k）和（l）可识别的自然数集。 （英语） Zbl 1496.03163号

Finkel，A.（编辑）等人，STACS 92。计算机科学的理论方面。1992年2月13日至15日，法国卡尚，第九届年度研讨会会议记录。柏林：斯普林格。莱克特。注释计算。科学。577, 83-94 (1992).
MSC公司：05年3月
PDF格式BibTeX公司 XML格式引用
\textit{R.Villemaire}，莱克特。注释计算。科学。577，83-94（1992年；兹bl 1496.03163）
全文： DOI程序
罗杰·维尔梅尔

\（langle\mathbb{N}，+，V_2，V_3\rangle\）是不可判定的。（（langle\mathbb{N}，+，V_2，V_3\rangle）是可判定的。） （法语。英文摘要） Zbl 0792.68109号

C.R.学院。科学。，巴黎，Sér。我 314，编号10，775-777（1992）.
MSC公司：65年第68季度 05年3月 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Villemaire}，C.R.学院。科学。，巴黎，Sér。I 314，编号10，775--777（1992；Zbl 0792.68109）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件