{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:43Z","timestamp":1742617123698,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540542339"},{"type":"electronic","value":"9783540475163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54233-7_137","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:36:49Z","timestamp":1330209409000},"page":"229-241","source":"Crossref","is-referenced-by-count":0,"title":["On confluent semi-commutations \u2014 Decidability and complexity results"],"prefix":"10.1007","author":[{"given":"Volker","family":"Diekert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward","family":"Ochmanski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Reinhardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"17_CR1","unstructured":"M. Clerbout. Commutations partielles et familles de langages. Th\u00e9se, Universit\u00e9 de Lille (France), 1984."},{"key":"17_CR2","first-page":"479","volume":"40","author":"V. Diekert","year":"1990","unstructured":"V. Diekert. Research topics in the theory of free partially commutative monoids. Bull. of the European Association for Theoretical Computer Science (EATCS), 40:479\u2013491, Feb 1990.","journal-title":"Bull. of the European Association for Theoretical Computer Science (EATCS)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BFb0017150","volume-title":"Proceedings of the 13th Symposium on Mathematical Foundations of Computer Science (MFCS'88), Carlsbad (CSSR) 1988","author":"V. Diekert","year":"1988","unstructured":"V. Diekert and W. Vogler. Local checking of trace synchronizability. In M. Chytil et al., editors, Proceedings of the 13th Symposium on Mathematical Foundations of Computer Science (MFCS'88), Carlsbad (CSSR) 1988, Lecture Notes in Computer Science 324, pages 271\u2013279. Springer, Berlin-Heidelberg-New York, 1988. Revised and extended version in Math. Syst. Theory 22: 161\u2013175, 1989: On the synchronization of traces."},{"key":"17_CR4","volume-title":"Algorithmic Graph Theory and Perfect Graphs","author":"M.C. Golumbic","year":"1980","unstructured":"M.C. Golumbic. Algorithmic Graph Theory and Perfect Graphs. Academic Press, New York, 1980."},{"key":"17_CR5","volume-title":"Proc. of the International Colloquium on Words, Languages and Combinatorics (Kyoto 1990)","author":"M. Latteux","year":"1990","unstructured":"M. Latteux. On semi-commutations. In M. Ito, editor, Proc. of the International Colloquium on Words, Languages and Combinatorics (Kyoto 1990). World Scientific, Singapore, 1990."},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","first-page":"279","volume-title":"Petri Nets, Applications and Relationship to other Models of Concurrency","author":"A. Mazurkiewicz","year":"1987","unstructured":"A. Mazurkiewicz. Trace theory. In W. Brauer et al., editors, Petri Nets, Applications and Relationship to other Models of Concurrency, Lecture Notes in Computer Science 255, pages 279\u2013324, Springer, Berlin-Heidelberg-New York, 1987."},{"key":"17_CR7","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0020-0190(87)90037-8","volume":"26","author":"Y. M\u00e9tivier","year":"1987","unstructured":"Y. M\u00e9tivier and E. Ochmanski. On lexicographic semi-commutations. Inform. Proc. Letters, 26:55\u201359, 1987.","journal-title":"Inform. Proc. Letters"},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0020-0190(88)90049-X","volume":"29","author":"P. Narendran","year":"1988","unstructured":"P. Narendran and F. Otto. Preperfectness is undecidable for Thue systems containing only length-reducing rules and a single commutation rule. Inform. Proc. Letters, 29:125\u2013130, 1988.","journal-title":"Inform. Proc. Letters"},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF01692068","volume":"20","author":"F. Otto","year":"1987","unstructured":"F. Otto. Finite canonical rewriting systems for congruences generated by concurrency relations. Math. Syst. Theory, 20:253\u2013260, 1987.","journal-title":"Math. Syst. Theory"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Y. Roos and P.A. Wacrenier. Composition of two semi commutations. Report I.T. 193, University of Lille (France), 1990.","DOI":"10.1007\/3-540-54345-7_84"},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","volume":"3","author":"L.J. Stockmeyer","year":"1976","unstructured":"L.J. Stockmeyer. The polynomial time-hierarchy. Theoret. Comput. Sci., 3:1\u201322, 1976.","journal-title":"Theoret. Comput. Sci."},{"key":"17_CR12","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0304-3975(76)90062-1","volume":"3","author":"C. Wrathall","year":"1976","unstructured":"C. Wrathall. Complete sets and the polynomial-time hierarchy. Theoret. Comput. Sci., 3:23\u201333, 1976.","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54233-7_137.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:15:42Z","timestamp":1742591742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54233-7_137"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540542339","9783540475163"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-54233-7_137","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}