{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:21:05Z","timestamp":1759638065257},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602491"},{"type":"electronic","value":"9783540447702"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60249-6_44","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:19Z","timestamp":1330279099000},"page":"116-125","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Rewriting regular inequalities"],"prefix":"10.1007","author":[{"given":"Valentin","family":"Antimirov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"V. M. Antimirov. Partial derivatives of regular expressions and finite automata constructions. In E. W. Mayr and C. Puech, editors, 12th Annual Symposium on Theoretical Aspects of Computer Science. Proceedings., volume 900 of Lecture Notes in Computer Science, pages 455\u2013466. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59042-0_96"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0304-3975(95)80024-4","volume":"143","author":"V. M. Antimirov","year":"1995","unstructured":"V. M. Antimirov and P. D. Mosses. Rewriting extended regular expressions. Theoretical Comput. Sci., 143:51\u201372, 1995.","journal-title":"Theoretical Comput. Sci."},{"key":"7_CR3","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"J. A. Brzozowski","year":"1964","unstructured":"J. A. Brzozowski. Derivatives of regular expressions. J. ACM, 11:481\u2013494, 1964.","journal-title":"J. ACM"},{"key":"7_CR4","unstructured":"J. H. Conway. Regular Algebra and Finite Machines. Chapman and Hall, 1971."},{"key":"7_CR5","volume-title":"Handbook of Theoretical Computer Science, volume B","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, A. Meyer, M. Nivat, M. Paterson, and D. Perrin, editors, Handbook of Theoretical Computer Science, volume B, chapter 6. Elsevier Science Publishers, Amsterdam; and MIT Press, 1990."},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0304-3975(94)00041-G","volume":"137","author":"Z. \u00c9sik","year":"1995","unstructured":"Z. \u00c9sik and L. Bern\u00e1tski. Equational properties of Kleene algebras of relations with conversion. Theoretical Comput. Sci., 137:237\u2013251, 1995.","journal-title":"Theoretical Comput. Sci."},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Comput. Sci., 105:217\u2013273, 1992.","journal-title":"Theoretical Comput. Sci."},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1016\/S0022-0000(76)80038-4","volume":"12","author":"H. B. Hunt III","year":"1976","unstructured":"H. B. Hunt III, D. J. Rosenkrantz, and T. G. Szymanski. On the equivalence, containment, and covering problems for the regular and context-free languages. J. Comput. Syst. Sci., 12:222\u2013268, 1976.","journal-title":"J. Comput. Syst. Sci."},{"issue":"6","key":"7_CR9","doi-asserted-by":"crossref","first-page":"1117","DOI":"10.1137\/0222067","volume":"22","author":"T. Jiang","year":"1993","unstructured":"T. Jiang and B. Ravikumar. Minimal NFA problems are hard. SIAM J. Comput., 22(6):1117\u20131141, 1993.","journal-title":"SIAM J. Comput."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"A. R. Meyer and L. J. Stockmeyer. The equivalence problem for regular expressions with squaring requires exponential space. In Proceedings of the 13th Ann. IEEE Symp. on Switching and Automata Theory, pages 125\u2013179. IEEE, 1972.","DOI":"10.1109\/SWAT.1972.29"},{"key":"7_CR11","volume-title":"Handbook of Theoretical Computer Science, volume B","author":"D. Perrin","year":"1990","unstructured":"D. Perrin. Finite automata. In J. van Leeuwen, A. Meyer, M. Nivat, M. Paterson, and D. Perrin, editors, Handbook of Theoretical Computer Science, volume B, chapter 1. Elsevier Science Publishers, Amsterdam; and MIT Press, 1990."},{"key":"7_CR12","first-page":"120","volume":"16","author":"V. N. Redko","year":"1964","unstructured":"V. N. Redko. On defining relations for the algebra of regular events. Ukrainian Mat. Z., 16:120\u2013126, 1964.","journal-title":"Ukrainian Mat. Z."},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/0304-3975(92)00011-F","volume":"125","author":"S. Yu","year":"1994","unstructured":"S. Yu, Q. Zhuang, and K. Salomaa. The state complexity of some basic operations on regular languages. Theoretical Comput. Sci., 125:315\u2013328, 1994.","journal-title":"Theoretical Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60249-6_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T23:33:08Z","timestamp":1578526388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60249-6_44"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602491","9783540447702"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-60249-6_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}