{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:38:35Z","timestamp":1725507515988},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789123"},{"type":"electronic","value":"9783540789130"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78913-0_22","type":"book-chapter","created":{"date-parts":[[2008,4,11]],"date-time":"2008-04-11T08:13:06Z","timestamp":1207901586000},"page":"289-303","source":"Crossref","is-referenced-by-count":0,"title":["Solving Linear Equations in *-continuous Action Lattices"],"prefix":"10.1007","author":[{"given":"B\u00e9chir","family":"Ktari","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Lajeunesse-Robert","sequence":"additional","affiliation":[]},{"given":"Claude","family":"Bolduc","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"22_CR1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.jlap.2005.04.008","volume":"66","author":"R.C. Backhouse","year":"2006","unstructured":"Backhouse, R.C.: Regular algebra applied to language problems. Journal of Logic and Algebraic Programming\u00a066(2), 71\u2013111 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"22_CR2","unstructured":"Bolduc, C.: Om\u00e9ga Alg\u00e8bre: Th\u00e9orie et application en v\u00e9rification de programmes. Master\u2019s thesis, Universit\u00e9 Laval (2006)"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stirling, C.: Modal logics and mu-calculi: an introduction (2001)","DOI":"10.1016\/B978-044482830-9\/50022-9"},{"issue":"4","key":"22_CR4","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"J.A. Brzozowski","year":"1964","unstructured":"Brzozowski, J.A.: Derivatives of regular expressions. J. ACM\u00a011(4), 481\u2013494 (1964)","journal-title":"J. ACM"},{"key":"22_CR5","volume-title":"Regular Algebra and Finite Machines","author":"J.H. Conway","year":"1971","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, Boca Raton (1971)"},{"key":"22_CR6","unstructured":"de Moor, O., Drape, S., Lacey, D., Sittampalam, G.: Incremental program analysis via language factors (submitted for publication, 2002)"},{"key":"22_CR7","unstructured":"H\u00f6fner, P.: From Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus. Technical report, University of Augsburg (2005)"},{"issue":"2","key":"22_CR8","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/B:STUD.0000032089.54776.63","volume":"76","author":"P. Jipsen","year":"2004","unstructured":"Jipsen, P.: From semirings to residuated kleene lattices. Studia Logica\u00a076(2), 291\u2013303 (2004)","journal-title":"Studia Logica"},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-1-4757-3627-4_3","volume-title":"Ordered Algebraic Structures","author":"P. Jipsen","year":"2002","unstructured":"Jipsen, P., Tsinakis, C.: A Survey of Residuated Lattices. In: Martinez, J. (ed.) Ordered Algebraic Structures, pp. 19\u201356. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/BFb0029594","volume-title":"Mathematical Foundations of Computer Science 1990","author":"D. Kozen","year":"1990","unstructured":"Kozen, D.: On Kleene algebras and closed semirings. In: Rovan, B. (ed.) MFCS 1990. LNCS, vol.\u00a0452, pp. 26\u201347. Springer, Heidelberg (1990)"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D. Kozen","year":"1994","unstructured":"Kozen, D.: A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events. Information and Computation\u00a0110, 366\u2013390 (1994)","journal-title":"Information and Computation"},{"key":"22_CR12","first-page":"78","volume-title":"Logic and Information Flow","author":"D. Kozen","year":"1994","unstructured":"Kozen, D.: On action algebras. In: van Eijck, J., Visser, A. (eds.) Logic and Information Flow, pp. 78\u201388. MIT Press, Cambridge (1994)"},{"issue":"3","key":"22_CR13","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D. Kozen","year":"1997","unstructured":"Kozen, D.: Kleene Algebra with Tests. ACM Transactions on Programming Languages and Systems\u00a019(3), 427\u2013443 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR14","unstructured":"Ktari, B., Lajeunesse-Robert, F., Bolduc, C.: Solving Linear Equations in *-continuous Action Lattices (Extended Version). Technical Report DIUL-RR-0801, D\u00e9partement d\u2019informatique et de g\u00e9nie logiciel, Universit\u00e9 Laval, p. 30 (2008)"},{"key":"22_CR15","first-page":"20","volume-title":"Proceedings of the 6th international Conference on Software Methodologies, Tools and Techniques (SoMeT 2007)","author":"F. Lajeunesse-Robert","year":"2007","unstructured":"Lajeunesse-Robert, F., Ktari, B.: Toward Solving Equations in Kleene Algebra. In: Proceedings of the 6th international Conference on Software Methodologies, Tools and Techniques (SoMeT 2007), Roma, Italy, p. 20. IOS Press, Amsterdam (2007)"},{"key":"22_CR16","unstructured":"M\u00f6ller, B.: Residuals and Detachment. Technical report, University of Augsburg (2005)"},{"key":"22_CR17","unstructured":"Nutt, W.: Unification in Monoidal Theories is Solving Linear Equations over Semirings. Technical Report RR-92-01, Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz GmbH, Erwin-Schr\u00f6dinger Strasse, Postfach 2080, 67608 Kaiserslautern, Germany (1992)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Sittampalam, G., de Moor, O., Larsen, K.F.: Incremental execution of transformation specifications (2004)","DOI":"10.1145\/964001.964004"},{"key":"22_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/800125.804029","volume-title":"STOC 1973: Proceedings of the fifth annual ACM symposium on Theory of computing","author":"L.J. Stockmeyer","year":"1973","unstructured":"Stockmeyer, L.J., Meyer, A.R.: Word problems requiring exponential time(Preliminary Report). In: STOC 1973: Proceedings of the fifth annual ACM symposium on Theory of computing, pp. 1\u20139. ACM Press, New York (1973)"},{"key":"22_CR20","unstructured":"Suikang, D.: Proseminar Kleene Algebra und Regular Expressions (May 2004)"}],"container-title":["Lecture Notes in Computer Science","Relations and Kleene Algebra in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78913-0_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:03:39Z","timestamp":1619507019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78913-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789123","9783540789130"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78913-0_22","relation":{},"subject":[]}}