A Logical Basis for Quantum Evolution and Entanglement (Q5414959): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-54789-8_6
+Normal rank
@@ Property / OpenAlex ID @@
+W154789765
@@ Property / OpenAlex ID: W154789765 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete quantum causal dynamics
@@ Property / cites work: Discrete quantum causal dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum causal histories
@@ Property / cites work: Quantum causal histories / rank @@
+Normal rank
@@ Property / cites work @@
+A system of interaction and structure
@@ Property / cites work: A system of interaction and structure / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof complexity of deep inference
@@ Property / cites work: On the proof complexity of deep inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q2755788
@@ Property / cites work: Q2755788 / rank @@
+Normal rank
@@ Property / cites work @@
+Polycategories
@@ Property / cites work: Polycategories / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction and coherence for weakly distributive categories
+Normal rank
@@ Property / cites work @@
+Locality for classical logic
@@ Property / cites work: Locality for classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Local System for Intuitionistic Logic
@@ Property / cites work: A Local System for Intuitionistic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428313
@@ Property / cites work: Q4428313 / rank @@
+Normal rank
@@ Property / cites work @@
+MELL in the calculus of structures
@@ Property / cites work: MELL in the calculus of structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509048
@@ Property / cites work: Q3509048 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
+Normal rank
@@ Property / cites work @@
+A System of Interaction and Structure II: The Need for Deep Inference
+Normal rank
@@ Property / cites work @@
+System BV is NP-complete
@@ Property / cites work: System BV is NP-complete / rank @@
+Normal rank
@@ Property / cites work @@
+A system of interaction and structure IV
@@ Property / cites work: A system of interaction and structure IV / rank @@
+Normal rank
@@ Property / cites work @@
+Deep inference and probabilistic coherence spaces
@@ Property / cites work: Deep inference and probabilistic coherence spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650586
@@ Property / cites work: Q4650586 / rank @@
+Normal rank