222 search results - page 1 / 45 » E-Matching with Free Variables |
SIAMMA
2010
12 years 11 months ago
2010
We prove a lower semicontinuity result for free discontinuity energies with a quasiconvex volume term having non standard growth and a surface term.
IJAC
2007
13 years 4 months ago
2007
It is known that the problem of determining consistency of a finite system of equations in a free group or a free monoid is decidable, but the corresponding problem for systems o...
GECCO
2000
Springer
13 years 8 months ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it represents the solution to all instances of a problem (instead of just the...
CADE
2004
Springer
14 years 5 months ago
2004
Springer
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
CADE
2001
Springer
14 years 5 months ago
2001
Springer
Abstract. This paper presents a technique for automated theorem proving with free variable tableaux that does not require backtracking. Most existing automated proof procedures usi...