A Coinductive Animation of Turing Machines

DOI10.1007/978-3-319-15075-8_6zbMath1335.68087OpenAlexW303492795MaRDI QIDQ2797865

Alberto Ciaffaglione

Publication date: 1 April 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15075-8_6

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Uses Software

• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formalizing Turing Machines
• The power of parameterization in coinductive proof
• Mechanised Computability Theory
• Mechanising Turing Machines and Computability Theory in Isabelle/HOL
• Programming Languages and Systems

This page was built for publication: A Coinductive Animation of Turing Machines