Skip to contents

  1. Jaffke, Lars [Author]; de Oliveira Oliveira, Mateus [Author]; Tiwary, Hans Raj [Author] ; Lars Jaffke and Mateus de Oliveira Oliveira and Hans Raj Tiwary [Contributor]

    Compressing Permutation Groups into Grammars and Polytopes. A Graph Embedding Approach

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  2. Clokie, Trevor [Author]; Lidbetter, Thomas F. [Author]; Molina Lovett, Antonio J. [Author]; Shallit, Jeffrey [Author]; Witzman, Leon [Author] ; Trevor Clokie and Thomas F. Lidbetter and Antonio J. Molina Lovett and Jeffrey Shallit and Leon Witzman [Contributor]

    Computational Fun with Sturdy and Flimsy Numbers

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  3. Cote, Marie-Claude [Author]; Gendron, Bernard [Author]; Rousseau, Louis-Martin [Author] ; Marie-Claude Cote and Bernard Gendron and Louis-Martin Rousseau [Contributor]

    Grammar-Based Integer Programing Models for Multi-Activity Shift Scheduling

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009

  4. Visser, Eelco [Author] ; ACM Special Interest Group on Programming Languages

    Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York,NY,United States: Association for Computing Machinery, 2021

    Published in: ACM Conferences- ACM Digital Library

  5. Droste, Manfred [Author]; Dziadek, Sven [Author]; Kuich, Werner [Author] ; Manfred Droste and Sven Dziadek and Werner Kuich [Contributor]

    Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  6. Blume, Matthias [Author] ; Kobayashi, Naoki [Contributor]; Vidal, Germán [Contributor] ACM Special Interest Group on Programming Languages

    Proceedings of the 10th international conference on Functional and Logic Programming

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag, 2010

    Published in: ACM Other conferences- ACM Digital Library