- An order-based algorithm for implementing multiparty synchronization José A. Pérez Rafael Corchuelo Miguel Toro Fri 02 March 2012
- Symbolic analysis of (MO)(I)CCI(II)(III)-based analog circuits E. Tlelo-Cuautle C. Sánchez-López D. Moro-Frías Fri 02 March 2012
- Bi-arc graphs and the complexity of list homomorphisms Tomas Feder Pavol Hell Jing Huang Fri 02 March 2012
- Rank-width is less than or equal to branch-width Sang-il Oum Fri 02 March 2012
- On recognizing graphs by numbers of homomorphisms Zdeněk Dvořák Fri 02 March 2012
- Variations on cops and robbers Alan Frieze Michael Krivelevich Po-Shen Loh Fri 02 March 2012
- Chasing a Fast Robber on Planar Graphs and Random Graphs Noga Alon Abbas Mehrabian Fri 02 March 2012
- Axiomatische Untersuchungen über Einige mit der Presburgerschen Arithmetik Verwandte Systeme Harry Apelt Fri 02 March 2012
- On languages with two variables Michael Mortimer Fri 02 March 2012
- Natürliche Kompliziertheitsmasze und Erhaltungssätze I Gerhard Lischke Fri 02 March 2012
- Functional Characters of Solvable Terms M. Coppo M. Dezani-Ciancaglini B. Venneri Fri 02 March 2012
- Two logical hierarchies of optimization problems over the real numbers Uffe Flarup Klaus Meer Fri 02 March 2012
- A constructive version of Birkhofftextquotesingles theorem Jesper Carlström Fri 02 March 2012
- Continuity properties of preference relations Marian A. Baroni Douglas S. Bridges Fri 02 March 2012
- Embedding classical in minimal implicational logic Hajime Ishihara Helmut Schwichtenberg Fri 02 March 2012
- Zeno hybrid systems Jun Zhang Karl Henrik Johansson John Lygeros Shankar Sastry Fri 02 March 2012
- An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle Jan Krajíček Pavel Pudlák Alan Woods Fri 02 March 2012
- Experiences in developing the mCRL2 toolset J. F. Groote J. J. A. Keiren F. P. M. Stappers J. W. Wesselink T. A. C. Willemse Fri 02 March 2012
- Semi-automatic grammar recovery R. Lämmel C. Verhoef Fri 02 March 2012
- ANTLR: A predicated-LL parser generator T. J. Parr R. W. Quong Fri 02 March 2012
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
