DOI10.1007/978-3-662-59533-6_13OpenAlexW2920973956MaRDI QIDQ2303589
Jan Van den Bussche, Flavio Ferrarotti, Jonni Virtema, Jose Maria Turull Torres, Senén González
Publication date: 4 March 2020
Full work available at URL: https://arxiv.org/abs/1903.03413
Mathematics Subject Classification ID
Logic in computer science (03B70)
Related Items