equal
deleted
inserted
replaced
39 \newcommand{\isasymulcorner}{$\ulcorner$} |
39 \newcommand{\isasymulcorner}{$\ulcorner$} |
40 \newcommand{\isasymurcorner}{$\urcorner$} |
40 \newcommand{\isasymurcorner}{$\urcorner$} |
41 \begin{document} |
41 \begin{document} |
42 |
42 |
43 |
43 |
44 \title{Mechanising Turing Machines and Computability Theory in Isabelle/HOL} |
44 \title{Turing Machines and Separation Logic:\\ Mechanising Computability Theory in Isabelle/HOL} |
45 \author{Jian Xu\inst{1} \and Xingyuan Zhang\inst{1} \and Christian Urban\inst{2}} |
45 \author{Jian Xu\inst{1} \and Xingyuan Zhang\inst{1} \and Christian Urban\inst{2}} |
46 \institute{PLA University of Science and Technology, China \and King's College London, UK} |
46 \institute{PLA University of Science and Technology, China \and King's College London, UK} |
47 |
47 |
48 \maketitle |
48 \maketitle |
49 |
49 |