Recursive terms in semantic programming
type: Item
instance of: scholarly article
title: Recursive terms in semantic programming
zbMATH Open document ID: 1486.68041
DOI: 10.1134/S0037446618060058
author: D. I. Sviridenko
author: S. S. Goncharov
published in: Siberian Mathematical Journal
publication date: 2019-03-13T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03D80
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 7035746
zbMATH Keywords: restricted quantifier
zbMATH Keywords: semantic programming
zbMATH Keywords: computability
zbMATH Keywords: computability over abstract structures
zbMATH Keywords: conditional term
zbMATH Keywords: recursive term
zbMATH Keywords: hereditary finite list
zbMATH Keywords: hereditary finite set
MaRDI profile type: Publication
cites work: Conditional terms in semantic programming
cites work: Σ-programming
cites work: Q3472084
cites work: Q3757389
cites work: Q3745249
cites work: Q3785904
cites work: Q3783515
cites work: Q3325705
cites work: Q3696493
cites work: Q4882531
cites work: Q3794155
cites work: Data models and languages for their description
cites work: Q4249355
cites work: HF-computability
cites work: S-Subsets of Natural Numbers
cites work: On the complexity of formulas in semantic programming
full work available at URL: s0037446618060058
OpenAlex ID: W2906234744
description: scientific article; zbMATH DE number 7035746