Skip to contents

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

View online
Schließen

Access

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
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

View online
Schließen

Access

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
Ganty, Pierre [Author]; Gutiérrez, Elena [Author] ; Pierre Ganty and Elena Gutiérrez [Contributor]

The Parikh Property for Weighted Context-Free Grammars

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Jayaram, Rajesh [Author]; Saha, Barna [Author] ; Rajesh Jayaram and Barna Saha [Contributor]

Approximating Language Edit Distance Beyond Fast Matrix Multiplication: Ultralinear Grammars Are Where Parsing Becomes Hard!

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
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

View online
Schließen

Access

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
Saeedloei, Neda [Author]; Gupta, Gopal [Author] ; Neda Saeedloei and Gopal Gupta [Contributor]

Timed Definite Clause Omega-Grammars

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Bertsch, Eberhard [Author]

On the relationship between indexed grammars and logic programs

View online
Schließen

Access

Close

Bookmarks

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

1994-01-01

Published in: The journal of logic programming
Peterfreund, Liat [Author] ; Liat Peterfreund [Contributor]

Grammars for Document Spanners

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Visser, Eelco [Author] ; ACM Special Interest Group on Programming Languages

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

View online
Schließen

Access

https://dl.acm.org/action/showBook?doi=10.1145/3486608

Show more show less

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
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

View online
Schließen

Access

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
Erickson, Jeff [Author]; Wang, Yipu [Author] ; Jeff Erickson and Yipu Wang [Contributor]

Topologically Trivial Closed Walks in Directed Surface Graphs

View online
Schließen

Access

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
Kuhlmann, Marco [Author]; Maletti, Andreas [Author]; Schiffer, Lena Katharina [Author] ; Marco Kuhlmann and Andreas Maletti and Lena Katharina Schiffer [Contributor]

The Tree-Generative Capacity of Combinatory Categorial Grammars

View online
Schließen

Access

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
Martini, Ricardo Giuliani [Author]; Henriques, Pedro Rangel [Author] ; Ricardo Giuliani Martini and Pedro Rangel Henriques [Contributor]

CaVa: Virtual Learning Spaces Formal Specification (Short Paper)

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Belazzougui, Djamal [Author]; Cunial, Fabio [Author] ; Djamal Belazzougui and Fabio Cunial [Contributor]

Representing the Suffix Tree with the CDAWG

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Afshari, Bahareh [Author]; Hetzl, Stefan [Author]; Leigh, Graham E. [Author] ; Bahareh Afshari and Stefan Hetzl and Graham E. Leigh [Contributor]

Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
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

View online
Schließen

Access

https://dl.acm.org/action/showBook?doi=10.5555/2175429

Show more show less

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
Drewes, Frank [Author]

Proceedings of the 2010 Workshop on Applications of Tree Automata in Natural Language Processing

View online
Schließen

Access

https://dl.acm.org/action/showBook?doi=10.5555/1870450

Show more show less

Close

Bookmarks

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

United States: Association for Computational Linguistics, 2010

Published in: DL Hosted proceedings- ACM Digital Library
Bunt, Harry [Author]

Proceedings of the 11th International Conference on Parsing Technologies

View online
Schließen

Access

https://dl.acm.org/action/showBook?doi=10.5555/1697236

Show more show less

Close

Bookmarks

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

United States: Association for Computational Linguistics, 2009

Published in: DL Hosted proceedings- ACM Digital Library
Schürr, Andy [Author] ; Selic, Bran [Contributor] ACM Special Interest Group on Software Engineering

Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems

View online
Schließen

Access

https://dl.acm.org/action/showBook?doi=10.5555/1691319

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer-Verlag, 2009

Published in: ACM Conferences- ACM Digital Library
King, Tracy Holloway [Author]

Proceedings of the 2009 Workshop on Grammar Engineering Across Frameworks

View online
Schließen

Access

https://dl.acm.org/action/showBook?doi=10.5555/1690359

Show more show less

Close

Bookmarks

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

United States: Association for Computational Linguistics, 2009

Published in: DL Hosted proceedings- ACM Digital Library

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication