Conditional terms in semantic programming

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	794-800
Number of pages	7
Journal	Siberian Mathematical Journal
Volume	58
Issue number	5
DOIs	https://doi.org/10.1134/S0037446617050068
Publication status	Published - 1 Sept 2017

computability, computability over abstract structures, conditional term, formula, restricted quantifier, semantic programming, term, Δ-formula, Σ-formula

ID: 9874243