Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: B | C | G | M
Number of items: 6.

B

Botoeva, Elena, Calvanese, Diego, Cogrel, Benjamin, Xiao, Guohui (2018) Expressivity and Complexity of MongoDB Queries. In: Leibniz International Proceedings in Informatics. 21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria. LIPIcs , 98. 9:1-9:23. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany ISBN 978-3-95977-063-7. (doi:10.4230/LIPIcs.ICDT.2018.9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91266)

Bartoletti, Massimo, Bocchi, Laura, Murgia, Massimo (2018) Progress-preserving Refinements of CTA. In: Leibniz International Proceedings in Informatics. LIPIcs–Leibniz International Proceedings in Informatics. Leibniz International Proceedings in Informatics (LIPIcs) . pp. 1-19. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Saarbrücken, Germany ISBN 978-3-95977-087-3. (doi:10.4230/LIPIcs.CONCUR.2018.40) (KAR id:67556)
Format: PDF

Bravetti, Mario, Carbone, Marco, Lange, Julien, Yoshida, Nobuko, Zavattaro, Gianluigi (2019) A Sound Algorithm for Asynchronous Session Subtyping. In: Fokkink, Wan and van Glabbeek, Rob, eds. Leibniz International Proceedings in Informatics. 140. LIPICS ISBN 978-3-95977-121-4. (doi:10.4230/LIPIcs.CONCUR.2019.34) (KAR id:75503)
Format: PDF

C

Cohen, Liron, Rowe, Reuben (2018) Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. In: Leibniz International Proceedings in Informatics. Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, CSL 2018. . LIPICS (doi:10.4230/LIPIcs.CSL.2018.16) (KAR id:67460)
Format: PDF

G

Grigore, Radu, Kiefer, Stefan (2018) Selective Monitoring. In: Leibniz International Proceedings in Informatics. 20. LIPICS, Germany (doi:10.4230/LIPIcs.CONCUR.2018.20) (KAR id:67553)
Format: PDF

M

Marshall, Daniel, Orchard, Dominic A. (2022) How to Take the Inverse of a Type. In: Leibniz International Proceedings in Informatics. Proceedings of 36th European Conference on Object-Oriented Programming (ECOOP 2022). . Dagstuhl ISBN 978-3-95977-225-9. (doi:10.4230/LIPIcs.ECOOP.2022.5) (KAR id:98022)
Format: PDF

This list was generated on Thu Mar 28 22:25:10 2024 GMT.