- The meaning of negative premises in transition system specifications II R.J van Glabbeek Fri 02 March 2012
- Model checking a cache coherence protocol of a Java DSM implementation Jun Pang Wan Fokkink Rutger Hofman Ronald Veldema Fri 02 March 2012
- An overview of the K semantic framework Grigore Rou Traian Florin erbănută Fri 02 March 2012
- A theory of a heterogeneous divisible commodity exchange economy Farhad Husseinov Fri 02 March 2012
- Fair and square: Cake-cutting in two dimensions Erel Segal-Halevi Shmuel Nitzan Avinatan Hassidim Yonatan Aumann Fri 02 March 2012
- Paperfolding infinite products and the gamma function J.-P. Allouche Fri 02 March 2012
- Monoid generalizations of the Richard Thompson groups Jean-Camille Birget Fri 02 March 2012
- Simple free star-autonomous categories and full coherence Dominic J.D. Hughes Fri 02 March 2012
- Congruences of convex algebras Ana Sokolova Harald Woracek Fri 02 March 2012
- Commutativity Richard Garner Ignacio López Franco Fri 02 March 2012
- Interacting Hopf algebras Filippo Bonchi Paweł Sobociński Fabio Zanasi Fri 02 March 2012
- The groupoid of finite sets is biinitial in the 2-category of rig categories Josep Elgueta Fri 02 March 2012
- The meaning of infinity in calculus and computer algebra systems Michael Beeson Freek Wiedijk Fri 02 March 2012
- Dealing with algebraic expressions over a field in Coq using Maple David Delahaye Micaela Mayero Fri 02 March 2012
- Cylindrical Algebraic Decomposition using validated numerics Adam W. Strzeboński Fri 02 March 2012
- A characteristic set method for ordinary difference polynomial systems Xiao-Shan Gao Yong Luo Chunming Yuan Fri 02 March 2012
- Computing difference-differential dimension polynomials by relative Gröbner bases in difference-differential modules Meng Zhou Franz Winkler Fri 02 March 2012
- Context unification with one context variable Adrià Gascón Guillem Godoy Manfred Schmidt-Schauß Ashish Tiwari Fri 02 March 2012
- Linear complete differential resultants and the implicitization of linear DPPEs Sonia L. Rueda J. Rafael Sendra Fri 02 March 2012
- Equational approximations for tree automata completion Thomas Genet Vlad Rusu Fri 02 March 2012
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
