The last open problem regarding the modularity of the fundamental properties of Term Rewriting Systems concerns the property of uniqueness of normal forms w.r.t. reduction (UN β ). In this article we solve this open problem, showing that UN β is modular for leftlinear Term Rewriting Systems. The nov
β¦ LIBER β¦
On the modularity of a matrix
β Scribed by Romesh Saigal
- Publisher
- Elsevier Science
- Year
- 1972
- Tongue
- English
- Weight
- 412 KB
- Volume
- 5
- Category
- Article
- ISSN
- 0024-3795
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
On the Modularity of Normal Forms in Rew
β
MASSIMO MARCHIORI
π
Article
π
1996
π
Elsevier Science
π
English
β 522 KB
A 2-Modular Matrix Group Derived from St
β
A. Trojan
π
Article
π
1994
π
Elsevier Science
π
English
β 150 KB
On Hersteinβ²s Theorems Relating Modulari
β
J.A. Anquela
π
Article
π
1994
π
Elsevier Science
π
English
β 414 KB
In this paper we examine the relationship between the lattices of subalgebras of \(A\) and \(A^{(+)}\)(for \(A\) an associative algebra) with respect to the property of being modular, by defining a radical-type ideal which measures this modular behavior. 1994 Academic Press, Inc
A Remark on the Modularity of Abelian Va
β
Naoki Murabayashi
π
Article
π
2000
π
Elsevier Science
π
English
β 128 KB
Let A be an abelian variety of GL 2 -type over the rational number field Q, without complex multiplication. In this paper, we will show that a modularity of A over the complex number field C implies that of A over Q.
On modular representations of A4
β
Vlastimil Dlab; Claus Michael Ringel
π
Article
π
1989
π
Elsevier Science
π
English
β 624 KB
On the modular nets
β
L. Martin; C. Reischer
π
Article
π
1978
π
Elsevier Science
π
English
β 329 KB