- The Solvability Problem for Quadratic Equations over~Free Groups is NP-Complete O. Kharlampovich I. G. Lysënok A. G. Myasnikov N. W. M. Touikan Fri 02 March 2012
- On the Complexity of Iterated Weak Dominance in~Constant-Sum~Games Felix Brandt Markus Brill Felix Fischer Paul Harrenstein Fri 02 March 2012
- The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages Makoto Kanazawa Gregory M. Kobele Jens Michaelis Sylvain Salvati Ryo Yoshinaka Fri 02 March 2012
- On the Parameterized Complexity of Computing Balanced Partitions in Graphs René van Bevern Andreas Emil Feldmann Manuel Sorge Ondřej Suchý Fri 02 March 2012
- The Computational Complexity of Iterated Elimination of Dominated Strategies Arno Pauly Fri 02 March 2012
- Regular Queries on Graph Databases Juan L. Reutter Miguel Romero Moshe Y. Vardi Fri 02 March 2012
- Satisfiability of ECTLast with Local Tree Constraints Claudia Carapelle Shiguang Feng Alexander Kartzow Markus Lohrey Fri 02 March 2012
- Comparing Representations for Function Spaces in Computable Analysis Arno Pauly Florian Steinberg Fri 02 March 2012
- Rewriting Higher-Order Stack Trees Vincent Penelle Fri 02 March 2012
- Additive Number Theory via Automata Theory Aayush Rajasekaran Jeffrey Shallit Tim Smith Fri 02 March 2012
- Finite Sequentiality of Unambiguous Max-Plus Tree Automata Erik Paul Fri 02 March 2012
- On the non-approximability of points-to analysis Venkatesan T. Chakaravarthy Susan Horwitz Fri 02 March 2012
- Formal properties of XML grammars and languages Jean Berstel Luc Boasson Fri 02 March 2012
- Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games Markus N. Rabe Sven Schewe Fri 02 March 2012
- Stochastic game logic Christel Baier Tomáš Brázdil Marcus Größer Antonín Kučera Fri 02 March 2012
- Visibly rational expressions Laura Bozzelli César Sánchez Fri 02 March 2012
- Two-way pebble transducers for partial functions and their composition Joost Engelfriet Fri 02 March 2012
- A tool for deciding the satisfiability of continuous-time metric temporal logic Marcello M. Bersani Matteo Rossi Pierluigi San Pietro Fri 02 March 2012
- A general account of coinduction up-to Filippo Bonchi Daniela Petrişan Damien Pous Jurriaan Rot Fri 02 March 2012
- Safraless LTL synthesis considering maximal realizability Takashi Tomita Atsushi Ueno Masaya Shimakawa Shigeki Hagihara Naoki Yonezaki Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
