- Extended multi bottom--up tree transducers Joost Engelfriet Eric Lilin Andreas Maletti Thu 09 January 2014
- Bottom-up and top-down tree transformations--- a comparison Joost Engelfriet Thu 09 January 2014
- Preservation of Recognizability for Weighted Linear Extended Top-down Tree Transducers Nina Seemann Daniel Quernheim Fabienne Braune Andreas Maletti Thu 09 January 2014
- Compositions of extended top-down tree transducers Andreas Maletti Thu 09 January 2014
- SAT-based Finite Model Generation for Higher-Order Logic Tjark Weber Thu 09 January 2014
- Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata Amélie Stainer Wed 08 January 2014
- Factorisation Forests for Infinite Words Application to Countable Scattered Linear Orderings Thomas Colcombet Wed 08 January 2014
- On Reachability Games of Ordinal Length Julien Cristau Florian Horn Wed 08 January 2014
- Graph Games on Ordinals Julien Cristau Florian Horn Wed 08 January 2014
- Transfinite Extension of the Mu-calculus Julian Bradfield Jacques Duparc Sandra Quickert Wed 08 January 2014
- Carrying Probabilities to the Infinite World Parosh Aziz Abdulla Wed 08 January 2014
- Decisive Markov Chains Parosh Aziz Abdulla Noomene Ben Henda Richard Mayr Wed 08 January 2014
- An Abstract Machine Based on Linear Logic and Exiplicit Substitutions Francisco J. Alberti Tue 07 January 2014
- The Semantics of Higher Order Algorithms Dag Normann Mon 06 January 2014
- Computability structures, simulations and realizability John R. Longley Mon 06 January 2014
- NOTIONS OF COMPUTABILITY AT HIGHER TYPES I John R. Longley Mon 06 January 2014
- Value Recursion in Monadic Computations Levent Erkøk Mon 06 January 2014
- Fixpoint operators for domain equations John Power Giuseppe Rosolini Sat 04 January 2014
- Automata and semigroups recognizing infinite words Olivier Carton Dominique Perrin Jean-Éric Pin Sat 04 January 2014
- Models and theories of lambda calculus Giulio Manzonetto Sat 04 January 2014
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
