scientific article; zbMATH DE number 1926611
From MaRDI portal
Publication:4707743
zbMath1012.68500MaRDI QIDQ4707743
Publication date: 11 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2407/24070310.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Synthesis of positive logic programs for checking a class of definitions with infinite quantification ⋮ Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques ⋮ Software tools for automation of parallel programming on the basis of algebra of algorithms ⋮ Synthesis of list algorithms by mechanical proving ⋮ Using computer algebra techniques for the specification, verification and synthesis of recursive programs
Uses Software
This page was built for publication:
