The expressiveness of looping terms in the semantic programming

Original language	English
Article number	024
Pages (from-to)	380-394
Number of pages	15
Journal	Сибирские электронные математические известия
Volume	17
DOIs	https://doi.org/10.33048/SEMI.2020.17.024
Publication status	Published - 2020

Bounded quantification, List structures, Reasoning complexity, Semantic programming, semantic programming, list structures, reasoning complexity, bounded quantification

ID: 26145642