scientific article; zbMATH DE number 3876562

zbMATH Open0549.68008MaRDI QIDQ3341867FDOQ3341867

Authors: Martha Seif Habashi Malaty 

Publication date: 1984

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

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

zbMATH Keywords

backtrackingoperational semanticschoice nondeterminismexistence nondeterminismspecification 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)

Cited In (4)

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