scientific article
From MaRDI portal
Publication:4023948
zbMATH Open0756.68089MaRDI QIDQ4023948FDOQ4023948
Publication date: 23 January 1993
Title of this publication is not available (Why is that?)
Cited In (9)
- Title not available (Why is that?)
- An approach to automatic deductive synthesis of functional programs
- Synthesis of induction orderings for existence proofs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Automatizing termination proofs of recursively defined functions
- Middle-out reasoning for synthesis and induction
- Proving the correctness of recursion-based automatic program transformations
Recommendations
- Automated synthesis of recursive programs from a \(\forall\exists\) logical specification 👍 👎
- Deductive and inductive synthesis of equational programs 👍 👎
- Title not available (Why is that?) 👍 👎
- An approach to automatic deductive synthesis of functional programs 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4023948)
