×

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

最新的 引文 关联
凯文·洛茨;米贾·库尔琴斯基;德克·诺沃特卡;丹尼·鲍尔森;安德斯·施利奇特克鲁尔

验证验证：Isabelle中字符串的SMT-LIB。 （英语） Zbl 07810935号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 206-217 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Lotz}等人，Lect。注释计算。科学。14151，206-217（2023；Zbl 07810935）
全文： 内政部
达斯，阿努帕姆;Damien Pous

（Kleene+作用）（代数+格）的非完备性证明理论。 （英语） Zbl 1528.03234号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第19条，第18页（2018年）。
MSC公司：05年3月 03G25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Das}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。119，第19条，第18页（2018；Zbl 1528.03234）
全文： 内政部
阿米娜·杜马内;Damien Pous

无恒等Kleene格的完备性。 （英语） Zbl 1520.68055号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第18条，第17页（2018年）。
MSC公司：65年第68季度 70年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Doumane}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。118，第18条，第17页（2018；Zbl 1520.68055）
全文： 内政部
法哈德·奥萨夫;罗伊·戴克霍夫;城市，基督教

POSIX正则表达式派生词词法分析（proof pearl）。 （英语） Zbl 1478.68118号

Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807, 69-86 (2016).
MSC公司：65年第68季度 2012年第68季度 68V20型 68瓦32
PDF格式BibTeX公司 XML格式引用
\textit{F.Ausaf}等人，Lect。注释计算。科学。9807，69-86（2016年；兹比尔1478.68118）
全文： 内政部 链接
劳伦斯·C·鲍尔森。

使用遗传有限集的有限自动机的形式化。 （英语） 兹比尔1465.68165

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 231-245 (2015).
MSC公司：65年第68季度 03B35型 03月20日
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。9195、231--245（2015；Zbl 1465.68165）
全文： 内政部 arXiv公司
萨宾·布罗达;西尔维亚卡瓦达斯;米盖尔·费雷拉;内尔玛·莫雷拉

用导数判定同步Kleene代数。 （英语） 兹比尔1465.68192

Drewes，Frank（编辑），自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9223, 49-62 (2015).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Broda}等人，Lect。注释计算。科学。9223，49-62（2015；Zbl 1465.68192）
全文： 内政部 链接
迈克尔·劳伦斯。;乔治·斯特鲁斯

关于欧米伽正则代数的完备性。 （英语） Zbl 1335.68158号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560179-194（2012）。
审核人：马格努斯·斯坦比（图尔库）
MSC公司：70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Laurence}和\textit{G.Struth}，莱克特。注释计算。科学。7560、179--194（2012年；Zbl 1335.68158）
全文： 内政部
内尔玛·莫雷拉;大卫·佩雷拉;西芒，索萨甜瓜

确定Coq中正则表达式（in-）的等价性。 （英语） Zbl 1330.68265号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿756098-113（2012）。
MSC公司：68吨15 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Moreira}等人，Lect。注释计算。科学。7560，98-113（2012；Zbl 1330.68265）
全文： 内政部
阿拉斯代尔·阿姆斯特朗;乔治·斯特鲁斯

高阶正则代数中的自动推理。 （英语） Zbl 1364.68326号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560，66-81（2012）。
MSC公司：68吨15 2015年1月6日 07年6月 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Armstrong}和\textit{G.Struth}，莱克特。注释计算。科学。7560、66-81（2012年；Zbl 1364.68326）
全文： 内政部
可口、蒂埃里;文森特·塞尔斯

类型论中正则表达式等价的一种决策过程。 （英语） Zbl 1350.68228号

Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，119-134（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Coquand}和\textit{V.Siles}，莱克特。注释计算。科学。7086、119--134（2011；Zbl 1350.68228）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件