Logical foundations of computer science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings

Bibliographic Information

Logical foundations of computer science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings

Sergei Artemov, Anil Nerode (eds.)

(Lecture notes in computer science, 11972 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues)

Springer, c2020

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top