scientific article; zbMATH DE number 7319044

zbMath1457.68161arXiv1111.3109MaRDI QIDQ4965869

Alberto Ciaffaglione

Publication date: 10 March 2021

Full work available at URL: https://arxiv.org/abs/1111.3109

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Formalization of mathematics in connection with theorem provers (68V20) Classical models of computation (Turing machines, etc.) (68Q04)

Related Items (2)

LF+ in Coq for "fast and loose" reasoning ⋮ A Coinductive Animation of Turing Machines

Uses Software

• Unnamed Item

This page was built for publication: