Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

- view
  authority control:
- export record
  dblp key:
  - conf/lics/Walukiewicz19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Walukiewicz19
Igor Walukiewicz:
Lambda Y-Calculus With Priorities. LICS 2019: 1-13
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ZwartM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ZwartM19
Maaike Zwart, Dan Marsden:
No-Go Theorems for Distributive Laws. LICS 2019: 1-13
- view
- export record
  dblp key:
  - conf/lics/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/2019
34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. IEEE 2019, ISBN 978-1-7281-3608-0 [contents]