Artemov, Sergei http://orcid.org/0000-0002-5605-6172
Chapter History
First Online: 28 November 2017
Conference Information
Conference Acronym: LFCS
Conference Name: International Symposium on Logical Foundations of Computer Science
Conference City: Deearfield Beach
Conference Country: USA
Conference Year: 2018
Conference Start Date: 8 January 2018
Conference End Date: 11 January 2018
Conference ID: lfcs2018
Conference URL: http://lfcs.ws.gc.cuny.edu/