scientific article; zbMATH DE number 937364

MaRDI QIDQ4896503zbMATH OpenFDO

Authors Marco Comini, Giorgio Levi

Publication date 20 October 1996

zbMATH Keywords

SLD-trees

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Publication:4508560
• Publication:4508552
• A note on the logic of bounded quantum observables
• scientific article; zbMATH DE number 4212038
• Observables and unobservables in a non-associative quantum theory
• Contextual semantics in quantum mechanics from a categorical point of view
• scientific article; zbMATH DE number 19148
• scientific article; zbMATH DE number 3887683
• The expressional limits of formal language in the notion of quantum observation
• scientific article; zbMATH DE number 1971746

Cited in

(3)

• A New Translation for Semi-classical Theories — Backtracking without CPS
• A theory of observables for logic programs
• `Einselection' of pointer observables: the new H-theorem?

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