Grid Ramification of Set-based Multiset Ordering
Keywords:
set-based multiset ordering, grid, difference grid, referenceAbstract
The paper presents a grid form of the Jouannaud-Lescanne set-based multiset ordering, otherwise known as the grid-based set-based multiset ordering. A relatively more applicable de-nition of multiset ordering is presented. The grid approach has beenused in this paper to prove some assertions, the pair-wise equalitytheorem for multisets, in particular.References
Dershowitz, N. and Manna, Z., Proving Termination with Multiset Ordering, Comm. ACM, Vol. 22., 1975, 465-476.
Huet, G. and Oppen, D. C., Equations and rewrite rules: a survey. In Formal Languages, Perspectives and Open Problems (R. Book, ed.), Academic Press, New York, 1980.
Jouannaud, J. and Lescanne, P., On multiset orderings, Information processing letters, Volume 15, Number 2, 1982, 57-63.
Singh, D., Ibrahim, A. M., Yohanna, T. and Singh, J. N. An overview of the applications of multiset. Novi Sad J. Math. Vol. 37, No. 2, 2007, 73-92.
Martin, U., A geometrical approach to Multiset orderings, Theoretical Computer Science, Vol. 67, 1989, 37-54.
Downloads
Published
2013-10-14
Issue
Section
Articles
License
- Papers must be submitted on the understanding that they have not been published elsewhere (except in the form of an abstract or as part of a published lecture, review, or thesis) and are not currently under consideration by another journal published by any other publisher.
- It is also the authors responsibility to ensure that the articles emanating from a particular source are submitted with the necessary approval.
- The authors warrant that the paper is original and that he/she is the author of the paper, except for material that is clearly identified as to its original source, with permission notices from the copyright owners where required.
- The authors ensure that all the references carefully and they are accurate in the text as well as in the list of references (and vice versa).
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Attribution-NonCommercial 4.0 International that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
- The journal/publisher is not responsible for subsequent uses of the work. It is the author's responsibility to bring an infringement action if so desired by the author.
How to Cite
Grid Ramification of Set-based Multiset Ordering. (2013). Asian Journal of Fuzzy and Applied Mathematics, 1(3). https://ajouronline.com/index.php/AJFAM/article/view/321
