scientific article; zbMATH DE number 4123706
From MaRDI portal
Publication:4204136
zbMATH Open0686.03014MaRDI QIDQ4204136
Publication date: 1989
Title of this publication is not available (Why is that?)
correctnesssecond-order logicwell-foundednessHenkin semanticsunbounded nondeterministic programswhile-programs with random assignments
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (10)
Undecidable goals for completed acyclic programs ⋮ While-programs with nondeterministic assignments and the logic ALNA ⋮ Unbounded Non-determinism in CSP ⋮ Programs, Recursion and Unbounded Choice ⋮ Reasoning About Incompletely Defined Programs ⋮ Title not available (Why is that?) ⋮ Bounded nondeterminism of logic programs ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ On the Herbrand-Kleene universe for nondeterministic computations
Recommendations
- Bounded nondeterminism of logic programs 👍 👎
- A logic covering undefinedness in program proofs 👍 👎
- A nondeterministic program logic 👍 👎
- A logic for the description of non-deterministic programs and their properties 👍 👎
- Logic Programming 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
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 Q4204136)