- An annotated bibliography on guaranteed graph searching Fedor V. Fomin Dimitrios M. Thilikos Fri 02 March 2012
- Solving structured linear systems with large displacement rank Alin Bostan Claude-Pierre Jeannerod Éric Schost Fri 02 March 2012
- Uniformity and the Taylor expansion of ordinary lambda-terms Thomas Ehrhard Laurent Regnier Fri 02 March 2012
- The complexity of equilibria: Hardness results for economies via a correspondence with games Bruno Codenotti Amin Saberi Kasturi Varadarajan Yinyu Ye Fri 02 March 2012
- Rational subsets of partially reversible monoids Pedro V. Silva Fri 02 March 2012
- Affine systems of equations and counting infinitary logic Albert Atserias Andrei Bulatov Anuj Dawar Fri 02 March 2012
- On systems of word equations over three unknowns with at most six occurrences of one of the unknowns Elena Czeizler Wojciech Plandowski Fri 02 March 2012
- Prime algebraicity Glynn Winskel Fri 02 March 2012
- On NFAs where all states are final, initial, or both Jui-Yi Kao Narad Rampersad Jeffrey Shallit Fri 02 March 2012
- On notions of regularity for data languages Henrik Björklund Thomas Schwentick Fri 02 March 2012
- Invariants for Parameterised Boolean Equation Systems Simona Orzan Tim A.C. Willemse Fri 02 March 2012
- Semigroup automata with rational initial and terminal sets Elaine Render Mark Kambites Fri 02 March 2012
- Pursuing a fast robber on a graph Fedor V. Fomin Petr A. Golovach Jan Kratochvíl Nicolas Nisse Karol Suchan Fri 02 March 2012
- Verifying parallel programs with dynamic communication structures Tayssir Touili Mohamed Faouzi Atig Fri 02 March 2012
- Parametric random generation of deterministic tree automata Pierre-Cyrille Héam Cyril Nicaud Sylvain Schmitz Fri 02 March 2012
- Fixed point guided abstraction refinement for alternating automata Pierre Ganty Nicolas Maquet Jean-François Raskin Fri 02 March 2012
- Learning of event-recording automata Olga Grinchtein Bengt Jonsson Martin Leucker Fri 02 March 2012
- Monad transformers as monoid transformers Mauro Jaskelioff Eugenio Moggi Fri 02 March 2012
- Sparse interpolation of multivariate rational functions Annie Cuyt Wen-shin Lee Fri 02 March 2012
- A semantic measure of the execution time in linear logic D. de Carvalho M. Pagani L. Tortora de Falco Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
