✦ LIBER ✦

On the Modularity of Normal Forms in Rewriting

✍ Scribed by MASSIMO MARCHIORI

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 522 KB
Volume: 22
Category: Article
ISSN: 0747-7171
DOI: 10.1006/jsco.1996.0045

No coin nor oath required. For personal study only.

✦ Synopsis

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 novel "pile and delete" technique here introduced allows for quite a short proof, and is of independent interest in the study of modular properties. Moreover, we also study the modularity of consistency w.r.t. reduction (CON → ), showing its modularity for left-linear Term Rewriting Systems.

📜 SIMILAR VOLUMES

On the Nebentypus of Picard Modular Form

On the Nebentypus of Picard Modular Forms

✍ R.-P. Holzapfel 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 901 KB

Drinfeld Modular Forms of Weight One

✍ Gunther Cornelissen 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 334 KB

Let A=F q [T ] be the polynomial ring over the finite field F q of q elements. D. Goss remarks in [13, (2.1)] that the algebra of (Drinfeld ) modular forms for GL(2, A) is the free ring generated by the two Eisenstein series of weights q&1 and q 2 &1. For a more general congruence subgroup, an abstr

On convolutions of Siegel modular forms

✍ Özlem Imamoğlu; Yves Martin 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 289 KB

## Abstract In this article we study a Rankin‐Selberg convolution of __n__ complex variables for pairs of degree __n__ Siegel cusp forms. We establish its analytic continuation to ℂ^__n__^, determine its functional equations and find its singular curves. Also, we introduce and get similar results f

On Modular Forms of Characteristic p>0

✍ Marc Reversat 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 177 KB

On the modularity of a matrix

✍ Romesh Saigal 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 412 KB

A remark on normal forms of matrices

✍ Vlastimil Dlab; Claus Michael Ringel 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 293 KB