On universal algebra over nominal sets (Q3559973): Difference between revisions

@@ Property / cites work @@
+Term Equational Systems and Logics
@@ Property / cites work: Term Equational Systems and Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Equational Logic
@@ Property / cites work: Nominal Equational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Free-algebra models for the \(\pi \)-calculus
@@ Property / cites work: Free-algebra models for the \(\pi \)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Algebra and the HSP Theorem
@@ Property / cites work: Nominal Algebra and the HSP Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank