scientific article

zbMath0756.68089MaRDI QIDQ4023948

Susanne Biundo

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

program synthesisinductive action specifications

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items

Middle-out reasoning for synthesis and induction, Synthesis of induction orderings for existence proofs