UID:
almahu_9948697969302882
Format:
1 online resource (1068 pages)
ISBN:
1-5090-3018-2
Series Statement:
ACM Conferences
Content:
LICS is an annual international forum on the broad range of topics that lie at the intersection of computer science and mathematical logic.
Additional Edition:
ISBN 1-5090-3019-0
Language:
English
DOI:
10.1109/LICS40289.2017