arXiv1205.4316MaRDI QIDQ6233111
Marco Bright Caminati
Publication date: 19 May 2012
Mathematics Subject Classification ID
Logic in computer science (03B70) Basic properties of first-order languages and structures (03C07) Mathematical software, computer programs (educational aspects) (97N80)