922 search results - page 67 / 185 » A generalization of the Lin-Zhao theorem |
171
click to vote
LOGCOM
2000
15 years 6 months ago
2000
The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria act rewriting, such as the strong confluence lemma. We give a ...
150
click to vote
ITA
2002
15 years 5 months ago
2002
Word and tree codes are studied in a common framework, that of polypodes which are sets endowed with a substitution like operation. Many examples are given and basic properties are...
179
click to vote
ORDER
2002
15 years 5 months ago
2002
The framework and the basic results of Wille on triadic concept analysis, including his Basic Theorem of Triadic Concept Analysis, are here generalized to n-dimensional formal cont...
149
click to vote
JC
2010
15 years 4 months ago
2010
In this paper we de ne a new condition number adapted to directionally uniform perturbations in a general framework of maps between Riemannian manifolds. The de nitions and theorem...
164
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...