Institutional Repository
| automatic construction of finite algebras | |
| Zhang J(张健) | |
| 1995 | |
| Source | Journal of Computer Science and Technology
 |
| Volume | 10Issue:3Pages:206-213 |
| English Abstract | 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. |
| Indexed Type | cscd |
| Keyword | Finite Model Generation Equational Theory Backtracking Search |
| Department | 计算机科学国家重点实验室 |
| Language | 英语 |
| CSCD ID | CSCD:261519 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3178 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 19951003206.pdf（388KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment