scientific article; zbMATH DE number 3845026
From MaRDI portal
Publication:3314965
Recommendations
- A necessary and sufficient condition in order that a Herbrand interpretation be expressive relative to recursive programs
- Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic)
- scientific article; zbMATH DE number 176743
- Foundations of Software Science and Computation Structures
- Program algebras of recursive functions
Cited in
(13)- Verification, Model Checking, and Abstract Interpretation
- Recursive terms in semantic programming
- White-box path generation in recursive programs
- scientific article; zbMATH DE number 680708 (Why is no real title available?)
- scientific article; zbMATH DE number 2079037 (Why is no real title available?)
- scientific article; zbMATH DE number 3900732 (Why is no real title available?)
- On the expressive power of programming languages
- scientific article; zbMATH DE number 3947605 (Why is no real title available?)
- The unwind property for programs with bounded memory
- The expressiveness of looping terms in the semantic programming
- scientific article; zbMATH DE number 3954251 (Why is no real title available?)
- Logic programs and recursion
- A necessary and sufficient condition in order that a Herbrand interpretation be expressive relative to recursive programs
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 Q3314965)
