Conditional terms in semantic programming
- 作者: Goncharov S.S.1
-
隶属关系:
- Sobolev Institute of Mathematics Novosibirsk State University
- 期: 卷 58, 编号 5 (2017)
- 页面: 794-800
- 栏目: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/171429
- DOI: https://doi.org/10.1134/S0037446617050068
- ID: 171429
如何引用文章
详细
For constructing an enrichment of the language with restricted quantifiers, we extend the construction of conditional terms. We show that the so-obtained extension of the language of formulas with restricted quantifiers over structures with hereditary finite lists is a conservative enrichment.
作者简介
S. Goncharov
Sobolev Institute of Mathematics Novosibirsk State University
编辑信件的主要联系方式.
Email: s.s.goncharov@math.nsc.ru
俄罗斯联邦, Novosibirsk
补充文件
