Software

1. Y.~Bertot and E.~Komendantskaya. Experiments towards general corecursion. Programs and proofs written in proof assistant Coq. 2008.
2. Y.~Bertot and E.~Komendantskaya. Experiments on Using Structural Recursion for Corecursion. Programs and proofs written in proof assistant Coq. 2008.
3. E.~Komendantskaya. Unification Neural Networks. Library Written in MATLAB Neural Network Toolbox. 2009.
4. E.~Komendantskaya. Parallel Term-Rewriting in Neural Networks. Library Written in MATLAB Neural Network Toolbox. 2009.