923 search results - page 65 / 185 » On a generalization of Stickelberger's Theorem |
158
click to vote
APAL
2004
15 years 6 months ago
2004
The theory of concept lattices (i.e. hierarchical structures of concepts in the sense of Port-Royal school) is approached from the point of view of fuzzy logic. The notions of par...
157
click to vote
IPL
2000
15 years 6 months ago
2000
We show that stratified context unification, which is one of the most expressive fragments of context unification known to be decidable, is equivalent to the satisfiability proble...
131
click to vote
ITA
2000
15 years 6 months ago
2000
Fine and Wilf's theorem has recently been extended to words having three periods. Following the method of the authors we extend it to an arbitrary number of periods and deduce...
172
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 ...
151
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...