{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T11:51:02Z","timestamp":1648900262639},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2008,11,8]],"date-time":"2008-11-08T00:00:00Z","timestamp":1226102400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1007\/s00500-008-0384-y","type":"journal-article","created":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T08:25:59Z","timestamp":1226046359000},"page":"1113-1121","source":"Crossref","is-referenced-by-count":1,"title":["Inductive semimodules and the vector modules over them"],"prefix":"10.1007","volume":"13","author":[{"given":"Feng","family":"Feng","sequence":"first","affiliation":[]},{"given":"Young Bae","family":"Jun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,11,8]]},"reference":[{"key":"384_CR1","unstructured":"Aho AV, Hopcroft JE, Ullman JD (1975) The design and analysis of computer algorithms. Addison-Wesley, Reading"},{"key":"384_CR3","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1007\/s00500-007-0256-x","volume":"12","author":"M Akram","year":"2008","unstructured":"Akram M, Dudek WA (2008) Intuitionistic fuzzy left k-ideals of semirings. Soft Comput 12:881\u2013890","journal-title":"Soft Comput"},{"key":"384_CR2","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0165-0114(93)90441-J","volume":"60","author":"J Ahsan","year":"1993","unstructured":"Ahsan J, Saifullah K, Farid Khan M (1993) Fuzzy semirings. Fuzzy Sets Syst 60:309\u2013320","journal-title":"Fuzzy Sets Syst"},{"key":"384_CR4","unstructured":"Backhouse RC (1975) Closure algorithms and the star-height problem of regular languages. Ph.D. thesis, Imperial College, London"},{"key":"384_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-78034-9","volume-title":"Iteration theories","author":"SL Bloom","year":"1993","unstructured":"Bloom SL, \u00c9sik Z (1993a) Iteration theories. Springer, Berlin"},{"key":"384_CR6","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/0022-0000(93)90010-T","volume":"46","author":"SL Bloom","year":"1993","unstructured":"Bloom SL, \u00c9sik Z (1993b) Matrix and matrical iteration theories, part I. J Comput Syst Sci 46:381\u2013408","journal-title":"J Comput Syst Sci"},{"key":"384_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(96)00248-4","volume":"179","author":"SL Bloom","year":"1997","unstructured":"Bloom SL, \u00c9sik Z (1997) The equational logic of fixed points. Theor Comput Sci 179:1\u201360","journal-title":"Theor Comput Sci"},{"key":"384_CR8","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0021-8693(81)90179-4","volume":"71","author":"C Brink","year":"1981","unstructured":"Brink C (1981) Boolean modules. J Algebra 71:291\u2013313","journal-title":"J Algebra"},{"key":"384_CR9","volume-title":"Regular algebra and finite machines","author":"JH Conway","year":"1971","unstructured":"Conway JH (1971) Regular algebra and finite machines. Chapman & Hall, London"},{"key":"384_CR10","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/s00500-007-0169-8","volume":"12","author":"WA Dudek","year":"2008","unstructured":"Dudek WA (2008) Special types of intuitionistic fuzzy left h-ideals of hemirings. Soft Comput 12:359\u2013364","journal-title":"Soft Comput"},{"key":"384_CR11","first-page":"9","volume":"17","author":"TK Dutta","year":"1994","unstructured":"Dutta TK, Biswas BK (1994) Fuzzy prime ideals of a semiring. Bull Malays Math Soc 17:9\u201316","journal-title":"Bull Malays Math Soc"},{"key":"384_CR12","first-page":"91","volume":"87","author":"TK Dutta","year":"1995","unstructured":"Dutta TK, Biswas BK (1995) Fuzzy k-ideals of semirings. Bull Calcutta Math Soc 87:91\u201396","journal-title":"Bull Calcutta Math Soc"},{"key":"384_CR13","doi-asserted-by":"crossref","unstructured":"Ehm T, M\u00f6 ller B, Struth G (2004) Kleene modules. In: Berghammer R et\u00a0al (eds) Relational and Kleene-algebraic methods in computer science, Lecture notes in computer science, vol 3051. Springer, Berlin, pp 112\u2013123","DOI":"10.1007\/978-3-540-24771-5_10"},{"key":"384_CR14","volume-title":"Automata, languages, and machines, vol A","author":"S Eilenberg","year":"1974","unstructured":"Eilenberg S (1974) Automata, languages, and machines, vol A. Academic Press, New York"},{"key":"384_CR17","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s00605-001-0481-9","volume":"137","author":"Z \u00c9sik","year":"2002","unstructured":"\u00c9sik Z, Kuich W (2002) Locally closed semirings. Monatsh Math 137:21\u201329","journal-title":"Monatsh Math"},{"key":"384_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.tcs.2004.03.050","volume":"324","author":"Z \u00c9sik","year":"2004","unstructured":"\u00c9sik Z, Kuich W (2004) Inductive *-semirings. Theor Comput Sci 324:3\u201333","journal-title":"Theor Comput Sci"},{"key":"384_CR16","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/s00233-007-0709-7","volume":"75","author":"Z \u00c9sik","year":"2007","unstructured":"\u00c9sik Z, Kuich W (2007) On iteration semiring-semimodule pairs. Semigroup Forum 75:129\u2013159","journal-title":"Semigroup Forum"},{"key":"384_CR18","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1016\/j.tcs.2005.08.010","volume":"347","author":"F Feng","year":"2005","unstructured":"Feng F, Zhao XZ, Jun YB (2005) *-\u03bc-Semirings and *-\u03bb-semirings. Theor Comput Sci 347:423\u2013431","journal-title":"Theor Comput Sci"},{"key":"384_CR19","doi-asserted-by":"crossref","first-page":"5012","DOI":"10.1016\/j.ins.2007.05.019","volume":"177","author":"F Feng","year":"2007","unstructured":"Feng F, Jun YB, Zhao XZ (2007) On *-\u03bb-semirings. Inf Sci 177:5012\u20135023","journal-title":"Inf Sci"},{"key":"384_CR20","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S0165-0114(96)00306-5","volume":"95","author":"S Ghosh","year":"1998","unstructured":"Ghosh S (1998) Fuzzy k-ideals of semirings. Fuzzy Sets Syst 95:103\u2013108","journal-title":"Fuzzy Sets Syst"},{"key":"384_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9964-1","volume-title":"A guide to the literature on semirings and their applications in mathematics and information sciences","author":"K Glazek","year":"2002","unstructured":"Glazek K (2002) A guide to the literature on semirings and their applications in mathematics and information sciences. Kluwer, Dordrecht"},{"key":"384_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0383-3","volume-title":"Semirings and affine equations over them: theory and applications","author":"JS Golan","year":"2003","unstructured":"Golan JS (2003) Semirings and affine equations over them: theory and applications. Kluwer, Dordrecht"},{"key":"384_CR23","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1137\/0219061","volume":"19","author":"K Iwano","year":"1990","unstructured":"Iwano K, Steiglitz K (1990) A semiring on convex polygons and zero-sum cycle problems. SIAM J Comput 19:883\u2013901","journal-title":"SIAM J Comput"},{"key":"384_CR25","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/0165-0114(95)00275-8","volume":"82","author":"YB Jun","year":"1996","unstructured":"Jun YB, Neggers J, Kim HS (1996) Normal L-fuzzy ideals in semirings. Fuzzy Sets Syst 82:383\u2013386","journal-title":"Fuzzy Sets Syst"},{"issue":"123","key":"384_CR26","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1023\/A:1022479320940","volume":"48","author":"YB Jun","year":"1998","unstructured":"Jun YB, Neggers J, Kim HS (1998) On L-fuzzy ideals in semirings I. Czech Math J 48(123):669\u2013675","journal-title":"Czech Math J"},{"key":"384_CR24","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/j.ins.2003.09.007","volume":"162","author":"YB Jun","year":"2004","unstructured":"Jun YB, \u00d6zt\u00fcrk MA, Song SZ (2004) On fuzzy h-ideals in hemirings. Inf Sci 162:211-226","journal-title":"Inf Sci"},{"key":"384_CR28","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/S0165-0114(98)00018-9","volume":"112","author":"CB Kim","year":"2000","unstructured":"Kim CB (2000) Isomorphism theorems and fuzzy k-ideals of k-semirings. Fuzzy Sets Syst 112:333\u2013342","journal-title":"Fuzzy Sets Syst"},{"key":"384_CR27","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0165-0114(95)00161-1","volume":"81","author":"CB Kim","year":"1996","unstructured":"Kim CB, Park M (1996) k-Fuzzy ideals in semirings. Fuzzy Sets Syst 81:281\u2013286","journal-title":"Fuzzy Sets Syst"},{"key":"384_CR29","first-page":"3","volume-title":"Automata studies","author":"SC Kleene","year":"1956","unstructured":"Kleene SC (1956) Representation of events in nerve nets and finite automata. In: Shannon CE, McCarthy J (eds) Automata studies. Princeton University Press, Princeton, pp 3\u201341"},{"key":"384_CR32","first-page":"167","volume-title":"Proceedings of the workshop on logics of programs. Lecture notes in computer science, vol 131","author":"D Kozen","year":"1981","unstructured":"Kozen D (1981) On induction vs *-continuity. In: Kozen D (ed) Proceedings of the workshop on logics of programs. Lecture notes in computer science, vol 131. Springer, Berlin, pp 167\u2013176"},{"key":"384_CR31","doi-asserted-by":"crossref","unstructured":"Kozen D (1990) On Kleene algebras and closed semirings. In: Rovan B (ed) In: Proceedings of MFCS\u201990. Lecture notes in computer science, vol 452. Springer, Berlin, pp 26\u201347","DOI":"10.1007\/BFb0029594"},{"key":"384_CR30","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D Kozen","year":"1994","unstructured":"Kozen D (1994) A completeness theorem for Kleene algebras and the algebra of regular events. Inf Comput 110:366\u2013390","journal-title":"Inf Comput"},{"key":"384_CR34","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0304-3975(91)90395-I","volume":"89","author":"D Krob","year":"1991","unstructured":"Krob D (1991) A complete system of B-rational identities. Theor Comput Sci 89:207\u2013343","journal-title":"Theor Comput Sci"},{"key":"384_CR33","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1016\/0022-0000(92)90033-F","volume":"45","author":"D Krob","year":"1992","unstructured":"Krob D (1992) Models of a K-rational identity system. J Comput Syst Sci 45:396\u2013434","journal-title":"J Comput Syst Sci"},{"key":"384_CR35","first-page":"212","volume-title":"Proceedinsg of the 14th colloquium automata, languages, and programming. Lecture notes in computer science, vol 267","author":"W Kuich","year":"1987","unstructured":"Kuich W (1987) The Kleene and Parikh theorem in complete semirings. In: Ottmann T (ed) Proceedings of the 14th colloquium automata, languages, and programming. Lecture notes in computer science, vol 267. Springer, Berlin, pp 212\u2013225"},{"key":"384_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69959-7","volume-title":"Semirings, automata, and languages","author":"W Kuich","year":"1986","unstructured":"Kuich W, Salomaa A (1986) Semirings, automata, and languages. Springer, Berlin"},{"key":"384_CR37","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0304-3975(77)90056-1","volume":"4","author":"DJ Lehmann","year":"1977","unstructured":"Lehmann DJ (1977) Algebraic structures for transitive closure. Theor Comput Sci 4:59\u201376","journal-title":"Theor Comput Sci"},{"key":"384_CR39","first-page":"242","volume-title":"Computer science logic, 5th workshop, CSL\u201991. Lecture notes in computer science, vol 626","author":"H Lei\u00df","year":"1991","unstructured":"Lei\u00df H (1991) Towards Kleene algebra with recursion. In: B\u00f6 rger E et\u00a0al (eds) Computer science logic, 5th workshop, CSL\u201991. Lecture notes in computer science, vol 626. Springer, Berlin, pp 242\u2013256"},{"key":"384_CR38","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/j.jlap.2005.04.004","volume":"66","author":"H Lei\u00df","year":"2006","unstructured":"Lei\u00df H (2006) Kleene modules and linear languages. J Log Algebr Program 66:185\u2013194","journal-title":"J Log Algebr Program"},{"issue":"124","key":"384_CR40","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1023\/A:1022416410366","volume":"49","author":"J Neggers","year":"1999","unstructured":"Neggers J, Jun YB, Kim HS (1999) On L-fuzzy ideals in semirings II. Czech Math J 49(124):127\u2013133","journal-title":"Czech Math J"},{"key":"384_CR41","unstructured":"Ng KC (1984) Relation algebras with transitive closure. Ph.D. thesis, University of California, Berkeley"},{"key":"384_CR42","first-page":"77","volume-title":"Proceedings of the conference on algebra and computer science. Lecture notes in computer science, vol 425","author":"V Pratt","year":"1988","unstructured":"Pratt V (1988) Dynamic algebras as a well-behaved fragment of relation algebras. In: Pigozzi D (ed) Proceedings of the conference on algebra and computer science. Lecture notes in computer science, vol 425. Springer, Berlin, pp 77\u2013110"},{"key":"384_CR43","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/321312.321326","volume":"13","author":"A Salomaa","year":"1966","unstructured":"Salomaa A (1966) Two complete axiom systems for the algebra of regular events. J ACM 13:158\u2013169","journal-title":"J ACM"},{"key":"384_CR44","doi-asserted-by":"crossref","first-page":"65","DOI":"10.2307\/2268577","volume":"6","author":"A Tarski","year":"1941","unstructured":"Tarski A (1941) On the calculus of relations. J Symb Logic 6:65\u2013106","journal-title":"J Symb Logic"},{"key":"384_CR45","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski A (1955) A lattice theoretical fixpoint theorem and its applications. Pacific J Math 5:285\u2013309","journal-title":"Pacific J Math"},{"key":"384_CR46","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh LA (1965) Fuzzy sets. Inf Control 8:338\u2013353","journal-title":"Inf Control"},{"key":"384_CR47","doi-asserted-by":"crossref","first-page":"876","DOI":"10.1016\/j.ins.2006.04.005","volume":"177","author":"J Zhan","year":"2007","unstructured":"Zhan J, Dudek WA (2007) Fuzzy h-ideals of hemirings. Inf Sci 177:876\u2013886","journal-title":"Inf Sci"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-008-0384-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-008-0384-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-008-0384-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T01:39:55Z","timestamp":1559093995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-008-0384-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,8]]},"references-count":47,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2009,9]]}},"alternative-id":["384"],"URL":"https:\/\/doi.org\/10.1007\/s00500-008-0384-y","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,8]]}}}