equal
deleted
inserted
replaced
18 |
18 |
19 \title{A Formalised Theory of Turing Machines in Isabelle/HOL} |
19 \title{A Formalised Theory of Turing Machines in Isabelle/HOL} |
20 |
20 |
21 |
21 |
22 \author{ |
22 \author{ |
23 \IEEEauthorblockN{Xu Jian, Xingyuan Zhang} |
23 \IEEEauthorblockN{Jian Xu, Xingyuan Zhang} |
24 \IEEEauthorblockA{PLA University of Science and Technology Nanjing, China} |
24 \IEEEauthorblockA{PLA University of Science and Technology Nanjing, China} |
25 \and |
25 \and |
26 \IEEEauthorblockN{Christian Urban} |
26 \IEEEauthorblockN{Christian Urban} |
27 \IEEEauthorblockA{King's College London, UK} |
27 \IEEEauthorblockA{King's College London, UK} |
28 } |
28 } |