Computing with Semirings and Weak Rig Groupoids (Q2802473): 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-662-49498-1_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2463458990
@@ Property / OpenAlex ID: W2463458990 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q60712708
@@ Property / Wikidata QID: Q60712708 / rank @@
+Normal rank
@@ Property / cites work @@
+Physics, Topology, Logic and Computation: A Rosetta Stone
+Normal rank
@@ Property / cites work @@
+Q4250400
@@ Property / cites work: Q4250400 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorification, term rewriting and the Knuth-Bendix procedure
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Seven trees in one
@@ Property / cites work: Seven trees in one / rank @@
+Normal rank
@@ Property / cites work @@
+Open-graphs and monoidal theories
@@ Property / cites work: Open-graphs and monoidal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on isomorphisms in typed lambda calculi with empty and sum types
+Normal rank
@@ Property / cites work @@
+Isomorphisms of generic recursive polynomial types
+Normal rank
@@ Property / cites work @@
+An objective representation of the Gaussian integers
+Normal rank
@@ Property / cites work @@
+Conservative logic
@@ Property / cites work: Conservative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+From Reversible to Irreversible Computations
@@ Property / cites work: From Reversible to Irreversible Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024908
@@ Property / cites work: Q3024908 / rank @@
+Normal rank
@@ Property / cites work @@
+Information effects
@@ Property / cites work: Information effects / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphic Interpreters from Logically Reversible Abstract Machines
+Normal rank
@@ Property / cites work @@
+Abstract Tensor Systems as Monoidal Categories
@@ Property / cites work: Abstract Tensor Systems as Monoidal Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Using types as search keys in function libraries
@@ Property / cites work: Using types as search keys in function libraries / rank @@
+Normal rank
@@ Property / cites work @@
+Q3886867
@@ Property / cites work: Q3886867 / rank @@
+Normal rank