Ein Vollständigkeitssatz für Programme und Schaltkreise. (A completeness theorem for programs and switching circuits.) (Q2549682): Difference between revisions

@@ Property / author @@
-Volker Claus
@@ Property / author: Volker Claus / rank @@
-Normal rank
@@ Property / author @@
+Volker Claus
@@ Property / author: Volker Claus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536279
@@ Property / cites work: Q5536279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5569110
@@ Property / cites work: Q5569110 / rank @@
+Normal rank
@@ Property / cites work @@
+On the automatic simplification of computer programs
+Normal rank
@@ Property / cites work @@
+Some definitional suggestions for automata theory
@@ Property / cites work: Some definitional suggestions for automata theory / rank @@
+Normal rank