|
|||||
|
|
Inherited extension of many-sorted theories |
|
| Authors: | V. P. Makarov |
| Abstract: | A formalism is proposed treating many-sorted theories as an extension of first-order theories. The formalism is defined in the mathematical specification language of the SINAL verification programming system.Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 165–169, September–October, 1992. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |