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