CORE

🇺🇦   make metadata, not war

    3 research outputs found

    Thirteenth Biennial Status Report: April 2015 - February 2017

    Author
      Publication venue
      Max-Planck-Institut für Informatik
      Publication date
      Field of study
      No full text
      MPG.PuRe

      Computer Science Logic 2018: CSL 2018, September 4-8, 2018, Birmingham, United Kingdom

      Author
      Publication venue
      Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
      Publication date
      Field of study
      Get PDF
      Digitale Bibliothek Thüringen

      24th EACSL Annual Conference on Computer Science Logic: CSL 2015, September 7-10, 2015, Berlin, Germany

      Author
      Publication venue
      Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
      Publication date
      Field of study
      Get PDF
      Digitale Bibliothek Thüringen
      corecore