"Logical Foundations of Computer Science - International Symposium, LFCS ..."

Sergei N. Artëmov, Anil Nerode (2022)

Details and statistics

DOI: 10.1007/978-3-030-93100-1

access: closed

type: Editorship

metadata version: 2021-12-28