research
∙
07/12/2019
Delta -- new logic programming language and Delta-methodology for p-computable programs on Turing Complete Languages
In paper describes the new logic programming language Delta, which have ...
share
research
∙
03/19/2019
Semantic programming: method of Δ_0^p-enrichments and polynomial analogue of the Gandy fixed point theorem
Computer programs fast entered in our life and the questions associated ...
research
∙
03/19/2019
