- Occurrence of zero in a linear recursive sequence N. K. Vereshchagin Fri 02 March 2012
- Concurrent bisimulations in Petri nets Eike Best Raymond Devillers Astrid Kiehn Lucia Pomello Fri 02 March 2012
- On fast multiplication of polynomials over arbitrary algebras David G. Cantor Erich Kaltofen Fri 02 March 2012
- On the Burnside problem for periodic groups Narain Gupta Said Sidki Fri 02 March 2012
- A generalized permutahedron M. Pouzet K. Reuter I. Rival N. Zaguia Fri 02 March 2012
- A solution to Kroneckertextquotesingles problem Giovanni Gallo Bhubaneswar Mishra Fri 02 March 2012
- Problems and results in tame congruence theory. A survey of the '88 Budapest workshop Emil W. Kiss Peter Pröhle Fri 02 March 2012
- Notes on equational theories of relations S. L. Bloom Z. Ésik Gh. Stefanescu Fri 02 March 2012
- Refutational theorem proving for hierarchic first-order theories Leo Bachmair Harald Ganzinger Uwe Waldmann Fri 02 March 2012
- Quasi-planar graphs have a linear number of edges Pankaj K. Agarwal Boris Aronov Janos Pach Richard Pollack Micha Sharir Fri 02 March 2012
- On the decidability of sparse univariate polynomial interpolation Allan Borodin Prasoon Tiwari Fri 02 March 2012
- Graph isomorphism is low for PP Johannes Köbler Uwe Schöning Jacobo Torán Fri 02 March 2012
- A new recursion-theoretic characterization of the polytime functions Spephen Bellantoni Stephen Cook Fri 02 March 2012
- Colorings and orientations of graphs N. Alon M. Tarsi Fri 02 March 2012
- Safety, liveness and fairness in temporal logic A. Prasad Sistla Fri 02 March 2012
- A logic for reasoning about time and reliability Hans Hansson Bengt Jonsson Fri 02 March 2012
- Affine parts of monads Harald Lindner Fri 02 March 2012
- Rigidity of planar tilings Richard Kenyon Fri 02 March 2012
- Symbolic analysis of large-scale networks using a hierarchical signal flowgraph approach Marwan M. Hassoun Kevin S. McCarville Fri 02 March 2012
- Is every approximate trajectory of some process near an exact trajectory of a nearby process Helena E. Nusse James A. Yorke Fri 02 March 2012
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
