scientific article; zbMATH DE number 3845026
From MaRDI portal
Publication:3314965
zbMATH Open0532.68023MaRDI QIDQ3314965FDOQ3314965
Authors: Paweł Urzyczyn
Publication date: 1983
Title of this publication is not available (Why is that?)
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)
- Recursive terms in semantic programming
- White-box path generation in recursive programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the expressive power of programming languages
- The expressiveness of looping terms in the semantic programming
- The unwind property for programs with bounded memory
- Title not available (Why is that?)
- Logic programs and recursion
- A necessary and sufficient condition in order that a Herbrand interpretation be expressive relative to recursive programs
- Verification, Model Checking, and Abstract Interpretation
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)