Geodesic

Volume 17 (2010) no. 3

Table of contents

C-programs verification on basis of mixed axiomatic semantics
p. 5-28
Composite reductions for Kripke models
p. 29-37
Local dynamics of DDE with large delay in the vicinity of the self-similar cycle
p. 38-47
Variational inequalities and the principle of virtual displacements
p. 48-57
Recurrence sequences over near-rings
p. 58-71
On decidability of the theory $\mathrm{Th}(\omega,0,1,,+,f_0,\dots,f_n)$
p. 72-90
Universal extremum of hyperplanes in some optimization problems
p. 91-106
Mathematical models of economic systems with account of the irreversibility of processes proceeding in them
p. 107-132
The factor of delay in a system of coupled oscillators FitzHugh–Nagumo
p. 134-143
The object query language of the dynamic information model DIM
p. 144-161