Conditional terms in semantic programming
type: Item
instance of: scholarly article
title: Conditional terms in semantic programming
zbMATH Open document ID: 1420.03059
DOI: 10.1134/S0037446617050068
published in: Siberian Mathematical Journal
publication date: 2018-02-06T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6834938
zbMATH Keywords: formula
zbMATH Keywords: term
zbMATH Keywords: restricted quantifier
zbMATH Keywords: \(\Delta_0\)-formula
zbMATH Keywords: \(\Sigma\)-formula
zbMATH Keywords: semantic programming
zbMATH Keywords: computability
zbMATH Keywords: computability over abstract structures
zbMATH Keywords: conditional term
author: S. S. Goncharov
MaRDI profile type: Publication
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: Q4895089
cites work: Q3790633
cites work: Q3787985
cites work: Q4249355
cites work: HF-computability
cites work: S-Subsets of Natural Numbers
full work available at URL: s0037446617050068
OpenAlex ID: W2765463448
description: scientific article; zbMATH DE number 6834938