scientific article
From MaRDI portal
Publication:3416408
zbMath1150.68460MaRDI QIDQ3416408
Adrian Crǎciun, Bruno Buchberger
Publication date: 22 January 2007
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 (5)
\textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} ⋮ Synthesis of list algorithms by mechanical proving ⋮ Synthesis of sorting algorithms using multisets in \textit{Theorema} ⋮ A verified common lisp implementation of Buchberger's algorithm in ACL2 ⋮ Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema
Uses Software
This page was built for publication:
