scientific article; zbMATH DE number 937364

zbMATH Open0855.68059MaRDI QIDQ4896503FDOQ4896503

Authors: Marco Comini, Giorgio Levi 

Publication date: 20 October 1996

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

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

zbMATH Keywords

SLD-trees

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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)