Learning commutativity specifications
From MaRDI portal
Publication:1702924
DOI10.1007/978-3-319-21690-4_18zbMath1381.68105MaRDI QIDQ1702924
Publication date: 1 March 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-21690-4_18
68Q32: Computational learning theory
68Q60: Specification and verification (program logics, model checking, etc.)
68P05: Data structures