Conditional terms in semantic programming

Title
Conditional terms in semantic programming
Authors
Keywords
formula, term, restricted quantifier, Δ<sub>0</sub>-formula, Σ-formula, semantic programming, computability, computability over abstract structures, conditional term
Journal
SIBERIAN MATHEMATICAL JOURNAL
Volume 58, Issue 5, Pages 794-800
Publisher
Pleiades Publishing Ltd
Online
2017-10-23
DOI
10.1134/s0037446617050068

Ask authors/readers for more resources

Reprint

Contact the author

Find the ideal target journal for your manuscript

Explore over 38,000 international journals covering a vast array of academic fields.

Search

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now