Redefined Submultiset-based Multiset Ordering via Grid
Keywords:
submultiset-based multiset ordering, grid, difference grid, referenceAbstract
We present a grid form of the Jouannaud-Lescanne submultiset-based multiset ordering. A flexible definition of the multiset ordering is hereby presented. The grid approach has been used in this paper to prove some assertions. Our such result is the submultiset-based pair-wise equality theorem for multisets.
References
Dershowitz, N. and Manna, Z. (1979). Proving termination with multiset orderings. Communications of the ACM, 22(8):465–476.
Huet, G. and Oppen, D. C. (1980). Equations and rewrite rules. Formal language theory: perspectives and open problems, pages 349–405.
Jouannaud, Jean, P. and Lescanne, P. (1982). On multiset orderings. Information Processing Letters, 15(2):57–63.
Martin, U. (1989). A geometrical approach to multiset orderings. Theoretical Computer Science, 67(1):37–54.
Peter, C. and Singh, D. (2013). Grid ramification of set-based multiset ordering. Asian Journal of Fuzzy and Applied Mathematics, 1(3):51–60.
Singh, D., Ibrahim, A., Yohanna, T., and Singh, J. (2007). An overview of the applications of multisets. Novi Sad Journal of Mathematics, 37(3):73–92.
Singh, D. and Peter, C. (2011). Multiset-based tree model for membrane computing. Computer Science, 19(1):55.
Downloads
Published
Issue
Section
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.
