Pages that link to "Item:Q5184385"
From MaRDI portal
The following pages link to Recursive Programs as Definitions in First-Order Logic (Q5184385):
Displaying 4 items.
- Total correctness in nonstandard logics of programs (Q580955) (← links)
- Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934) (← links)
- Recursive programs and denotational semantics in absolute logics of programs (Q2639051) (← links)
- What is a universal higher-order programming language? (Q4630303) (← links)
