Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tudor Jebelean
Mechanical Synthesis of Sorting Algorithms for Binary Trees by Logic and Combinatorial Techniques
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Theory Exploration of Binary Trees