×

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

最新的 引文 关联
弗拉德·鲁苏;多雷尔·卢卡努;erbénuţ\355 ;Ņé，Traian-Florin;安德烈·阿鲁索艾;安德烈·特夫内斯库;格里高·罗什乌

语言定义是重写理论。 （英语） Zbl 1356.68125号

J.日志。阿尔盖布。方法计划。 85，第1部分第1号，98-120（2016）.
MSC公司：2012年第68季度 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.Rusu}等人，J.Log。阿尔盖布。方法计划。85，第1号，第1部分，98-120（2016；Zbl 1356.68125）
全文： 内政部 哈尔
多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾;大卫·诺瓦克

验证重写逻辑规范的可达性逻辑属性。 （英语） Zbl 1321.68359号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲义9200，451-474（2015）。
MSC公司：68问题85 03B70号 2012年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Lucanu}等人，Lect。票据计算。科学。9200、451--474（2015年；Zbl 1321.68359）
全文： 内政部 哈尔
戈因纳，丹尼尔;多雷尔·卢卡努;Kazuhiro绪方;高基町五指

关于OTS/CafeOBJ方法的自动化。 （英语） Zbl 1407.68308号

Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：斯普林格。莱克特。票据计算。科学。8373, 578-602 (2014).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{D.Gin}等人，Lect。票据计算。科学。8373、578--602（2014；Zbl 1407.68308）
全文： 内政部
格里高·罗什乌;多雷尔·卢卡努

行为重写系统和行为生产力。 （英语） Zbl 1407.68242号

Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：斯普林格。莱克特。票据计算。科学。8373, 296-314 (2014).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Rošu}和\textit{D.Lucanu}，莱克特。票据计算。科学。83739296-314（2014年；兹比尔1407.68242）
全文： 内政部
格里高·罗什乌;多雷尔·卢卡努

圆共约：一个证明理论基础。 （英语） Zbl 1239.68067号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728127-144（2009）。
MSC公司：68吨15 2007年3月 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Rošu}和\textit{D.Lucanu}，莱克特。票据计算。科学。5728127--144（2009年；Zbl 1239.68067）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件