Primitive recursive algebraic theories and program schemes (Q4124981): Difference between revisions

@@ Property / author @@
+Wolfgang Kuehnel
@@ Property / author: Wolfgang Kuehnel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4090505
@@ Property / cites work: Q4090505 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata in general algebras
@@ Property / cites work: Automata in general algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint triangles
@@ Property / cites work: Adjoint triangles / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra automata I: Parallel programming as a prolegomena to the categorical approach
+Normal rank
@@ Property / cites work @@
+AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
@@ Property / cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS / rank @@
+Normal rank