Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings

MLA

Artemov, Sergei, and Anil Nerode. Logical Foundations of Computer Science : International Symposium, Lfcs 2022, Deerfield Beach, Fl, Usa, January 10-13, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

Artemov, S., & Nerode, A. (2022). Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

Artemov, Sergei., and Anil Nerode. Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.