scientific article; zbMATH DE number 4123706
From MaRDI portal
Publication:4204136
zbMATH Open0686.03014MaRDI QIDQ4204136FDOQ4204136
Authors: Fangming Song
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
- Bounded nondeterminism of logic programs
- scientific article; zbMATH DE number 3957062
- scientific article; zbMATH DE number 1948157
- A logic for the description of non-deterministic programs and their properties
- scientific article
- A nondeterministic program logic
- scientific article; zbMATH DE number 4028889
- scientific article; zbMATH DE number 1231470
- A logic covering undefinedness in program proofs
- Logic Programming
second-order logiccorrectnesswell-foundednessHenkin semanticsunbounded nondeterministic programswhile-programs with random assignments
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)
Cited In (13)
- Countable nondeterminism and random assignment
- While-programs with nondeterministic assignments and the logic ALNA
- Unbounded Non-determinism in CSP
- Bounded nondeterminism of logic programs
- Undecidable goals for completed acyclic programs
- Hoare's logic for nondeterministic regular programs: A nonstandard approach
- Reasoning About Incompletely Defined 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 Herbrand-Kleene universe for nondeterministic computations
- Programs, Recursion and Unbounded Choice
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)