scientific article; zbMATH DE number 3876562

MaRDI QIDQ3341867zbMATH OpenFDO

Authors Martha Seif Habashi Malaty

Publication date 1984

zbMATH Keywords

backtrackingchoice nondeterminismexistence nondeterminismoperational semanticsspecification scheme

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Programming with non-determinism in deductive databases
• scientific article; zbMATH DE number 3876560
• scientific article; zbMATH DE number 1691453
• Nondeterminism and nondeterministic degree
• scientific article; zbMATH DE number 3856436

Cited in

(4)

• scientific article; zbMATH DE number 3468688 (Why is no real title available?)
• scientific article; zbMATH DE number 520219 (Why is no real title available?)
• scientific article; zbMATH DE number 3894445 (Why is no real title available?)
• scientific article; zbMATH DE number 3307150 (Why is no real title available?)

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 Q3341867)