Geodesic

Volume 27 (2020) no. 3

Sommaire

Efficient equivalence checking technique for some classes of finite-state machines
p. 260-303
On the existence problem of finite bases of identities in the algebras of recursive functions
p. 304-315
Application of convolutional neural networks for recognizing long structural elements of rails in eddy-current defectograms
p. 316-329
Automated search and analysis of the stylometric features that describe the style of the prose 19th-21st centuries
p. 330-343
Features of the algorithmic implementation of difference analogues of the logistic equation with delay
p. 344-355
A generalization of the inference rules for join dependencies in databases
p. 356-365