67 search results - page 11 / 14 » A Theorem on Higher Bruhat Orders |
APPML
2004
13 years 7 months ago
2004
ABSTRACT.Renormalization group (RG) methods are described for determining the key exponents related to the decay of solutions to nonlinear parabolic differential equations. Higher ...
TGC
2007
Springer
14 years 1 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
CSL
2002
Springer
13 years 7 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...