A formalization of multi-tape Turing machines (Q744986): Difference between revisions

@@ Property / cites work @@
+A list-machine benchmark for mechanized metatheory
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+The intensional content of Rice's theorem
@@ Property / cites work: The intensional content of Rice's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem
+Normal rank
@@ Property / cites work @@
+Zen and the art of formalisation
@@ Property / cites work: Zen and the art of formalisation / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Turing Machines
@@ Property / cites work: Formalizing Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Some Considerations on the Usability of Interactive Provers
+Normal rank
@@ Property / cites work @@
+Hints in Unification
@@ Property / cites work: Hints in Unification / rank @@
+Normal rank
@@ Property / cites work @@
+The Matita Interactive Theorem Prover
@@ Property / cites work: The Matita Interactive Theorem Prover / rank @@
+Normal rank
@@ Property / cites work @@
+A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
+Normal rank
@@ Property / cites work @@
+A formally verified proof of the prime number theorem
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering formal metatheory
@@ Property / cites work: Engineering formal metatheory / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Logic
@@ Property / cites work: Computability and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4404418
@@ Property / cites work: Q4404418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+Normal rank
@@ Property / cites work @@
+On Formalisms for Turing Machines
@@ Property / cites work: On Formalisms for Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075246
@@ Property / cites work: Q3075246 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Checked Proof of the Odd Order Theorem
@@ Property / cites work: A Machine-Checked Proof of the Odd Order Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Complexity of Algorithms
@@ Property / cites work: On the Computational Complexity of Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+One-tape, off-line Turing machine computations
@@ Property / cites work: One-tape, off-line Turing machine computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Operating system verification---an overview
@@ Property / cites work: Operating system verification---an overview / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanised Computability Theory
@@ Property / cites work: Mechanised Computability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Tape Simulation of Multitape Turing Machines
@@ Property / cites work: Two-Tape Simulation of Multitape Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385524
@@ Property / cites work: Q4385524 / rank @@
+Normal rank
@@ Property / cites work @@
+Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
+Normal rank
@@ Property / cites work @@
+Mechanising Turing Machines and Computability Theory in Isabelle/HOL
+Normal rank