Login / Signup
Developing and Optimizing Parallel Programs with Algebra-Algorithmic and Term Rewriting Tools.
Anatoliy Doroshenko
Kostiantyn Zhereb
Olena Yatsenko
Published in:
ICTERI (Revised Selected Papers) (2013)
Keyphrases
</>
term rewriting
theorem proving
theorem prover
operational semantics
management tools
computer programs
knuth bendix
parallel processing
data model
free software
rewrite systems
inference rules
knowledge base
online learning
probabilistic model
programming environments
programming exercises
database systems