A Coinductive Animation of Turing Machines (Q2797865): Difference between revisions

@@ Property / cites work @@
+Formalizing Turing Machines
@@ Property / cites work: Formalizing Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4965869
@@ Property / cites work: Q4965869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893911
@@ Property / cites work: Q3893911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+The power of parameterization in coinductive proof
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanised Computability Theory
@@ Property / cites work: Mechanised Computability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanising Turing Machines and Computability Theory in Isabelle/HOL
+Normal rank