scientific article; zbMATH DE number 3903964

MaRDI QIDQ3681934zbMATH OpenFDO

Authors Helena Rasiowa

Publication date 1983

zbMATH Keywords

algorithmic logic with non-deterministic programsinteracting stackslogic of non-deterministic complex algorithmsnon-deterministic regular programs

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 6131588
• scientific article; zbMATH DE number 3859101
• Complexity Results for Nonmonotonic Logics
• Complexity and undecidability results for logic programming
• Non-standard algorithmic and dynamic logic
• scientific article; zbMATH DE number 4008383
• Proof complexity of non-classical logics
• Proof Complexity of Non-classical Logics
• Linear logic and polynomial time
• scientific article; zbMATH DE number 4103047

Cited in

(2)

• scientific article; zbMATH DE number 4014037 (Why is no real title available?)
• scientific article; zbMATH DE number 3959378 (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 Q3681934)