Conditional terms in semantic programming

标题

作者

关键词

formula, term, restricted quantifier, Δ<sub>0</sub>-formula, Σ-formula, semantic programming, computability, computability over abstract structures, conditional term

出版物

SIBERIAN MATHEMATICAL JOURNAL

Volume 58, Issue 5, Pages 794-800

出版商

Pleiades Publishing Ltd

发表日期

2017-10-23

DOI

10.1134/s0037446617050068

向作者/读者发起求助以获取更多资源

Protocol

在线求助

Reagent

在线求助

Reprint

联系作者

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More

Find the ideal target journal for your manuscript

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