Imaginary groups: lazy monoids and reversible computation (Q5400854): Difference between revisions

@@ Property / author @@
+Murdoch James Gabbay
@@ Property / author: Murdoch James Gabbay / rank @@
+Normal rank
@@ Property / author @@
+Peter H. Kropholler
@@ Property / author: Peter H. Kropholler / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3522248
@@ Property / cites work: Q3522248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537454
@@ Property / cites work: Q4537454 / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Q4544834
@@ Property / cites work: Q4544834 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic, epistemology, and the unity of science
@@ Property / cites work: Logic, epistemology, and the unity of science / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Cayley's Theorem for Topological Groups
@@ Property / cites work: Cayley's Theorem for Topological Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Universal Algebra to Lambda Calculus
@@ Property / cites work: Applying Universal Algebra to Lambda Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the immersion of an algebraic ring into a field
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank