文章基本信息

标题：Consistency and Completeness of Rewriting in the Calculus of Constructions
本地全文：下载
作者：Daria Walukiewicz-Chrzaszcz ; Jacek Chrzaszcz
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2008
卷号：4
期号：03
DOI：10.2168/LMCS-4(3:8)2008
出版社：Technical University of Braunschweig
关键词：Proof Assistants;Pattern Matching;Isomorphism;Termination