scientific article; zbMATH DE number 3567992
From MaRDI portal
Publication:4139645
Cites work
- scientific article; zbMATH DE number 3464804 (Why is no real title available?)
- scientific article; zbMATH DE number 3518256 (Why is no real title available?)
- scientific article; zbMATH DE number 3521489 (Why is no real title available?)
- scientific article; zbMATH DE number 3540387 (Why is no real title available?)
- scientific article; zbMATH DE number 3550181 (Why is no real title available?)
- scientific article; zbMATH DE number 3566209 (Why is no real title available?)
- scientific article; zbMATH DE number 3567993 (Why is no real title available?)
- scientific article; zbMATH DE number 3576674 (Why is no real title available?)
- scientific article; zbMATH DE number 3227055 (Why is no real title available?)
- scientific article; zbMATH DE number 3229496 (Why is no real title available?)
- scientific article; zbMATH DE number 3302923 (Why is no real title available?)
- scientific article; zbMATH DE number 3322506 (Why is no real title available?)
- scientific article; zbMATH DE number 3349291 (Why is no real title available?)
- scientific article; zbMATH DE number 3362972 (Why is no real title available?)
- scientific article; zbMATH DE number 3415379 (Why is no real title available?)
- scientific article; zbMATH DE number 3421895 (Why is no real title available?)
- Equivalences on program schemes
- Inductive methods for proving properties of programs
- Minimal and Optimal Computations of Recursive Programs
- Notes on avoiding ``go to statements
- On Ianov's Program Schemata
- On formalised computer programs
- On some classes of interpretations
- Theory of program structures: Schemes, semantics, verification
- Translating recursion equations into flow charts
Cited in
(5)
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 Q4139645)
