scientific article
From MaRDI portal
Publication:2847391
zbMath1271.68208MaRDI QIDQ2847391
Adrian Crǎciun, Bruno Buchberger
Publication date: 9 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610400012X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques ⋮ \textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ Automated programming, symbolic computation, machine learning: my personal view ⋮ Synthesis of list algorithms by mechanical proving
Uses Software
This page was built for publication:
