2414 search results - page 25 / 483 » Computing Normal Subgroups |
POPL
1997
ACM
13 years 11 months ago
1997
ACM
The following theorem of Huet and L
TLCA
1993
Springer
13 years 11 months ago
1993
Springer
This paper describes formalizations of Tait’s normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs p...
ENTCS
2008
13 years 7 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
ICPR
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper proposes a novel approach to color texture characterization and classification. Rather than developing new textural features, we propose to derive a family of new, redu...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This paper describes and analyzes a method for computing border bases of a zero-dimensional ideal I. The criterion used in the computation involves specific commutation polynomial...