Pages that link to "Item:Q3332239"
From MaRDI portal
The following pages link to A necessary and sufficient condition in order that a Herbrand interpretation be expressive relative to recursive programs (Q3332239):
Displaying 5 items.
- Reasoning about procedures as parameters in the language L4 (Q583874) (← links)
- Necessary and sufficient conditions for the universality of programming formalisms (Q801666) (← links)
- Some relationships between logics of programs and complexity theory (Q1106839) (← links)
- On the expressive power of finitely typed and universally polymorphic recursive procedures (Q1185006) (← links)
- Semantics and reasoning with free procedures (Q1193855) (← links)
