- Classes of Tree Homomorphisms with Decidable Preservation of Regularity Guillem Godoy Sebastian Maneth Sophie Tison Fri 09 May 2014
- The equivalence problem for deterministic MSO tree transducers is decidable Joost Engelfriet Sebastian Maneth Fri 09 May 2014
- Look-Ahead Removal for Top-Down Tree Transducers Joost Engelfriet Sebastian Maneth Helmut Seidl Fri 09 May 2014
- Determinacy and Rewriting of Top-Down and MSO Tree Transformations. Michael Benedikt Joost Engelfriet Sebastian Maneth Fri 09 May 2014
- Tree Transducers and Formal Methods (Dagstuhl Seminar 13192) Sebastian Maneth Helmut Seidl Fri 09 May 2014
- A Sharp Bound for Positive Solutions of Homogeneous Linear Diophantine Equations I. Borosh Fri 09 May 2014
- A sharp bound for solutions of linear Diophantine equations I. Borosh M. Flahive D. Rubin B. Treybig Fri 09 May 2014
- Bounds for solution of linear diophantine equations S. I. Veselov Fri 09 May 2014
- Small solutions of linear Diophantine equations I Borosh M Flahive B Treybig Fri 09 May 2014
- Bounds on Positive Integral Solutions of Linear Diophantine Equations I. Borosh L. B. Treybig Fri 09 May 2014
- Church Synthesis Problem for Noisy Input Yaron Velner Alexander Rabinovich Fri 09 May 2014
- Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games Véronique Bruyère Emmanuel Filiot Mickael Randour Jean-François Raskin Thu 08 May 2014
- Model-checking hierarchical structures Markus Lohrey Thu 08 May 2014
- Tree-oriented Proofs of Some Theorems on Context-free and Indexed Languages William C. Rounds Tue 06 May 2014
- The UNIX Time-sharing System Dennis M. Ritchie Ken Thompson Tue 06 May 2014
- Tree Extension Algebras: Logics, Automata, and Query Languages Michael Benedikt Leonid Libkin Sat 03 May 2014
- Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives Yaron Velner Sat 03 May 2014
- Models of the łambda Y-calculus for weak Monadic Second-Order Logic Sylvain Salvati Igor Walukiewicz Sat 03 May 2014
- Fixed-point Operations on CCC's. Part I Stephen L. Bloom Zoltán Ésik Fri 02 May 2014
- An Algebraic Proof of Rabin's Tree Theorem Achim Blumensath Fri 02 May 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
