automatic construction of finite algebras

	automatic construction of finite algebras
	Zhang J(张健)
	1995
发表期刊	Journal of Computer Science and Technology
卷号	10 期号:3 页码:206-213
摘要	This paper deals withmodel generation for equational theories, i.e., automatically generating (finite) models of a given set of (logical) equations. Our method of finite model generation and a tool for automatic construction of finite algebras is described. Some examples are given to show the applications of our program. We argue that, the combination of model generators and theorem provers enables us to get a better understanding of logical theories. A brief comparison between our tool and other similar tools is also presented.
收录类别	cscd
关键词	Finite Model Generation Equational Theory Backtracking Search
部门归属	计算机科学国家重点实验室
语种	英语
CSCD记录号	CSCD:261519
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/3178
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zhang J. automatic construction of finite algebras[J]. Journal of Computer Science and Technology,1995,10(3):206-213.
APA	张健.(1995).automatic construction of finite algebras.Journal of Computer Science and Technology,10(3),206-213.
MLA	张健."automatic construction of finite algebras".Journal of Computer Science and Technology 10.3(1995):206-213.