|
51 |
On Canonical Models for Rational Functions over Infinite Words
Filiot, Emmanuel. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
|
|
|
|
52 |
Non-Backtracking Spectrum of Degree-Corrected Stochastic Block Models
Gulikers, Lennart. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
|
|
|
|
53 |
Pro-Aperiodic Monoids via Saturated Models
van Gool, Samuel J.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
|
|
|
|
54 |
FPTAS for Hardcore and Ising Models on Hypergraphs
Lu, Pinyan. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
|
|
|
|
55 |
Models of Lambda-Calculus and the Weak MSO Logic
Parys, Pawel. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
|
|
|
|
56 |
On the Complexity of Computing Maximum Entropy for Markovian Models
Chen, Taolue. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
|
|
|
|
57 |
The Complexity of Counting Models of Linear-time Temporal Logic
Torfah, Hazem. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
|
|
|
|
58 |
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
Danos, Vincent. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
|
|
|
|
59 |
On the equational consistency of order-theoretic models of the lambda-calculus
Carraro, Alberto. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
|
|
|
|
60 |
Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism
Bernadet, Alexis. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
|
|
Administration
