Geodesic

Volume 25 (2018) no. 4

Table of contents

Loop-invariant optimization in the Pifagor language
p. 347-357
Verification of programs with mutual recursion in the Pifagor language
p. 358-381
An efficient algorithm for finding a threshold of useful signals in the analysis of magnetic and eddy current defectograms
p. 382-387
The spanning tree of a divisible multiple graph
p. 388-401
On some approaches to the solution of the problem for blockchains>>
p. 402-410
Question answering system for applicant support by using modern messengers
p. 411-420
Dynamic model of single torrent with file-sharing P2P network
p. 421-434
Russianlanguage thesauri: automated construction and application for natural language processing tasks
p. 435-458