scientific article; zbMATH DE number 3911678
From MaRDI portal
Publication:3687682
Recommendations
- scientific article; zbMATH DE number 3963167
- Automatic programming: A tutorial on formal methodologies
- scientific article; zbMATH DE number 7434637
- scientific article; zbMATH DE number 140006
- scientific article; zbMATH DE number 3225739
- scientific article; zbMATH DE number 3315142
- Publication:4861677
Cited in
(17)- Automatic programming: A tutorial on formal methodologies
- Top-down synthesis of divide-and-conquer algorithms
- scientific article; zbMATH DE number 1696706 (Why is no real title available?)
- scientific article; zbMATH DE number 1475692 (Why is no real title available?)
- Synthetic programming
- Planning principles for problem solving in automatic program synthesis systems
- scientific article; zbMATH DE number 3310916 (Why is no real title available?)
- scientific article; zbMATH DE number 3225739 (Why is no real title available?)
- scientific article; zbMATH DE number 3194104 (Why is no real title available?)
- Automatic synthesis of computation programs through analysis of variable semantics
- An incremental approach to automatic algorithm design
- scientific article; zbMATH DE number 4115923 (Why is no real title available?)
- scientific article; zbMATH DE number 3892570 (Why is no real title available?)
- On the conversion of program specifications into pseudo code using Jackson structured programming
- scientific article; zbMATH DE number 3845084 (Why is no real title available?)
- scientific article; zbMATH DE number 47673 (Why is no real title available?)
- scientific article; zbMATH DE number 3963167 (Why is no real title available?)
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 Q3687682)
