scientific article; zbMATH DE number 139633

zbMATH Open0759.03018MaRDI QIDQ4029613FDOQ4029613

Authors: Marisa Venturini Zilli 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

Recommendations

• While-programs with nondeterministic assignments and the logic ALNA
• scientific article; zbMATH DE number 3967908
• scientific article; zbMATH DE number 4123706
• scientific article; zbMATH DE number 3957062
• scientific article; zbMATH DE number 234027
• Bounded nondeterminism of logic programs
• Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic)
• A logic for the description of non-deterministic programs and their properties
• The algebra of non-deterministic programs: demonic operations, orders and axioms
• The expressive power of fixed-point logic with counting

zbMATH Keywords

algorithmic logicfair-wellfoundedness of while-programsnondeterministic assignments

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (5)

• Countable nondeterminism and random assignment
• While-programs with nondeterministic assignments and the logic ALNA
• Infinite trees, markings, and well-foundedness
• 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 Q4029613)