Springer logo

Publisher: Springer

Related content
Volume 46, Number 4, July 2010

all issues

Properties of a predicate transformer of the VRS system
pp. 521-532(12)
Authors: Letichevsky, A.; Godlevsky, A.; Letychevsky, A.; Potiyenko, S.; Peschanenko, V.

On the complexity of analysis of automata over a finite ring
pp. 533-545(13)
Authors: Skobelev, V.; Skobelev, V.

Inclusion problems in trace monoids
pp. 546-553(8)
Authors: Shahbazyan, K.; Shoukourian, Yu.

Program equivalence checking by two-tape automata
pp. 554-562(9)
Author: Zakharov, V.

Fast hybrid matrix multiplication algorithms
pp. 563-573(11)
Author: Jelfimova, L.

Extension of scala language by distributed and parallel computing tools with Linda coordination system
pp. 624-629(6)
Authors: Glybovets, M.; Gorohovskiy, S.; Stukalo, M.

Development of algorithmic algebra tools to design parallel programs using heuristics
pp. 653-659(7)
Authors: Doroshenko, A.; Kotyuk, N.; Nikolayev, S.; Tseytlin, G.; Yatsenko, E.

Polynomial invariants for linear loops
pp. 660-668(9)
Author: Lvov, M.

Parallel inference search in logical calculus based on the algebraic programming system
pp. 669-678(10)
Authors: Letichevsky, A.; German, V.; Morokhovets, M.; Shchogoleva, N.

all issues

Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content

Text size:

A | A | A | A
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages. print icon Print this page