- Coalgebraic constructions of canonical nondeterministic automata Robert S.R. Myers Jiří Adámek Stefan Milius Henning Urbat Fri 02 March 2012
- Generic weakest precondition semantics from monads enriched with order Ichiro Hasuo Fri 02 March 2012
- Fan-planarity: Properties and complexity Carla Binucci Emilio Di Giacomo Walter Didimo Fabrizio Montecchiani Maurizio Patrignani Antonios Symvonis Ioannis G. Tollis Fri 02 March 2012
- Approximation of grammar-based compression via recompression Artur Jeż Fri 02 March 2012
- Linearizing well quasi-orders and bounding the length of bad sequences Sergio Abriola Santiago Figueira Gabriel Senno Fri 02 March 2012
- A formalization of multi-tape Turing machines Andrea Asperti Wilmer Ricciotti Fri 02 March 2012
- A calculus and logic of bunched resources and processes Gabrielle Anderson David Pym Fri 02 March 2012
- Graph operations on parity games and polynomial-time algorithms Christoph Dittmann Stephan Kreutzer Alexandru I. Tomescu Fri 02 March 2012
- A really simple approximation of smallest grammar Artur Jeż Fri 02 March 2012
- Input-driven languages are linear conjunctive Alexander Okhotin Fri 02 March 2012
- A complete refinement procedure for regular separability of context-free languages Graeme Gange Jorge A. Navas Peter Schachte Harald Søndergaard Peter J. Stuckey Fri 02 March 2012
- Forward analysis and model checking for trace bounded WSTS Pierre Chambart Alain Finkel Sylvain Schmitz Fri 02 March 2012
- Recognizing and drawing IC-planar graphs Franz J. Brandenburg Walter Didimo William S. Evans Philipp Kindermann Giuseppe Liotta Fabrizio Montecchiani Fri 02 March 2012
- On uniformly continuous functions for some profinite topologies Jean-Éric Pin Pedro V. Silva Fri 02 March 2012
- Learning regular omega languages Dana Angluin Dana Fisman Fri 02 March 2012
- A disambiguation algorithm for weighted automata Mehryar Mohri Michael D. Riley Fri 02 March 2012
- Formal metatheory of the Lambda calculus using Stoughtontextquotesingles substitution Ernesto Copello Nora Szasz Álvaro Tasistro Fri 02 March 2012
- On the decidability and complexity of problems for restricted hierarchical hybrid systems Paul C. Bell Shang Chen Lisa Jackson Fri 02 March 2012
- On deciding synchronizability for asynchronously communicating systems Samik Basu Tevfik Bultan Fri 02 March 2012
- Efficient algorithms for shortest partial seeds in words Tomasz Kociumaka Solon P. Pissis Jakub Radoszewski Wojciech Rytter Tomasz Waleń Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
