scientific article
From MaRDI portal
Publication:3939266
zbMath0481.68083MaRDI QIDQ3939266
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automated deductionformula simplificationcompletion of partial specifications for a subalgorithmformal system based on natural deductionsimple code generation
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Synthetic programming ⋮ Top-down synthesis of divide-and-conquer algorithms ⋮ Constructing specification morphisms ⋮ Logical debugging
This page was built for publication:
