1302 search results - page 132 / 261 » Free-Style Theorem Proving |
101
click to vote
DCG
2010
15 years 4 months ago
2010
We study the multiplicity modulo 2 of real analytic hypersurfaces. We prove that, under some assumptions on the singularity, the multiplicity modulo 2 is preserved by subanalytic b...
113
click to vote
DM
2008
15 years 4 months ago
2008
Let G be a minimally k-connected graph with n nodes and m edges. Mader proved that if n 3k - 2 then m k(n - k), and for n 3k - 1 an equality is possible if, and only if, G is t...
110
click to vote
SIAMCOMP
2008
15 years 4 months ago
2008
Abstract. Monadic second-order unification is second-order unification where all function constants occurring in the equations are unary. Here we prove that the problem of deciding...
146
click to vote
IANDC
2010
15 years 3 months ago
2010
stract Completion Guillaume Burel a,c,∗ Claude Kirchner b,c aNancy-Universit´e, Universit´e Henri Poincar´e bINRIA Bordeaux - Sud-Ouest cLORIA, ´Equipe Pareo, Bˆatiment B, C...
145
click to vote
CP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We study the lattice structure of sets (monoids) of surjective hyper-operations on an n-element domain. Through a Galois connection, these monoids form the algebraic coun...