922 search results - page 67 / 185 » A generalization of the Lin-Zhao theorem |
LOGCOM
2000
13 years 10 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 ...
ITA
2002
13 years 10 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...
ORDER
2002
13 years 10 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...
JC
2010
13 years 8 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...
CADE
2007
Springer
14 years 10 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...