{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T08:58:07Z","timestamp":1648717087775},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[1994,9]]},"DOI":"10.1007\/bf01225643","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T13:08:23Z","timestamp":1109336903000},"page":"287-316","source":"Crossref","is-referenced-by-count":5,"title":["Computing presentations for subgroups of polycyclic groups and of context-free groups"],"prefix":"10.1007","volume":"5","author":[{"given":"Norbert","family":"Kuhn","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Madlener","sequence":"additional","affiliation":[]},{"given":"Friedrich","family":"Otto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0022-0000(87)90015-8","volume":"35","author":"J. Autebert","year":"1987","unstructured":"Autebert, J., Boasson, L., Senizergues, G.: Groups and NTS languages. J. Comput. Sys. Sci.35, 243?267 (1987)","journal-title":"J. Comput. Sys. Sci."},{"key":"CR2","first-page":"63","volume":"42","author":"J. Avenhaus","year":"1983","unstructured":"Avenhaus, J., Madlener, K.: On groups defined by monadic Thue systems. In: Algebra, Combinatorics and Logic in Computer Science. Colloq. Math. Soc. Janos Bolyai42, 63?71 (Gy\u00f6r, 1983)","journal-title":"Algebra, Combinatorics and Logic in Computer Science. Colloq. Math. Soc. Janos Bolyai"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/74540.74579","volume-title":"Proceedings ISSAC'89","author":"J. Avenhaus","year":"1989","unstructured":"Avenhaus, J., Wi\u00dfmann, D.: Using rewriting techniques to solve the generalized word problem in polycyclic groups. In: Gonnet, G. (ed.) Proceedings ISSAC'89 (ACM, New York, 1989) pp. 322?337"},{"key":"CR4","unstructured":"Bauer, G.: Zur Darstellung von Monoiden durch konfluente Reduktionssysteme, Doctoral dissertation (Fachbereich Informatik, Universit\u00e4t Kaiserslautern 1981)"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF01179785","volume":"153","author":"G. Baumslag","year":"1977","unstructured":"Baumslag, G., Cannonito, F. B., Miller, C. F. III: Infinitely generated subgroups of finitely presented groups I. Math. Z.153, 117?134 (1977)","journal-title":"Math. Z."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1016\/0021-8693(91)90221-S","volume":"142","author":"G. Baumslag","year":"1991","unstructured":"Baumslag, G., Cannonito, F. B., Robinson, D. J. S., Segal, D.: The algorithmic theory of polycyclic-by-finite groups. J. Algebra142, 118?149 (1991)","journal-title":"J. Algebra"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0304-3975(83)90005-1","volume":"23","author":"R. V. Book","year":"1983","unstructured":"Book, R. V.: Decidable sentences of Church-Rosser congruences. Theoret. Comput. Sci.23, 301?312 (1983)","journal-title":"Theoret. Comput. Sci."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0304-3975(82)90036-6","volume":"19","author":"R. V. Book","year":"1982","unstructured":"Book, R. V., Jantzen, M., Wrathall, C.: Monadic Thue systems. Theoret. Comput. Sci.19, 231?251 (1982)","journal-title":"Theoret. Comput. Sci."},{"key":"CR9","first-page":"51","volume-title":"Algebraic Theory of Semigroups. Colloq. Math. Soc. Janos Bolyai vol.20","author":"Y. Cochet","year":"1976","unstructured":"Cochet, Y.: Church-Rosser congruences on free semigroups. In: Algebraic Theory of Semigroups. Colloq. Math. Soc. Janos Bolyai vol.20, pp. 51?60. Amsterdam: North-Holland 1976"},{"key":"CR10","first-page":"207","volume-title":"Proceedings EUROSAM 84. Lecture Notes in Computer Science, vol.174","author":"R. H. Gilman","year":"1984","unstructured":"Gilman, R. H.: Computations with rational subsets of confluent groups. In: Fitch, J. (ed.). Proceedings EUROSAM 84. Lecture Notes in Computer Science, vol.174, pp. 207?212. Berlin, Heidelberg, New York: Springer 1984"},{"key":"CR11","unstructured":"Kuhn, N.: Zur Entscheidbarkeit des Untergruppenproblems f\u00fcr Gruppen mit kanonischen Darstellungen. Doctoral dissertation (Fachbereich Informatik, Universit\u00e4t Kaiserslautern 1991)"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1145\/74540.74580","volume-title":"Proceedings ISSAC'89","author":"N. Kuhn","year":"1989","unstructured":"Kuhn, N., Madlener, K.: A method for enumerating cosets of a group presented by a canonical system. In: Gonnet, G. (ed.). Proceedings ISSAC'89, pp. 338?350 (ACM, New York 1989)"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/96877.96882","volume-title":"Proceedings ISSAC'90","author":"N. Kuhn","year":"1990","unstructured":"Kuhn, N., Madlener, K., Otto, F.: A test for ?-confluence for certain prefix rewriting systems with applications to the generalized word problem. In: Watanabe, S., Nagata, M. (eds.). Proceedings ISSAC'90, pp. 8?15 (ACM, New York 1990)"},{"key":"CR14","volume-title":"Combinatorial Group Theory","author":"R. Lyndon","year":"1977","unstructured":"Lyndon, R., Schupp, P.: Combinatorial Group Theory. Berlin, Heidelberg, New York: Springer 1977"},{"key":"CR15","first-page":"279","volume-title":"Proceedings 18th ICALP. Lecture Notes in Computer Science vol.510","author":"K. Madlener","year":"1991","unstructured":"Madlener, K., Narendran, P., Otto, F.: A specialized completion procedure for monadic string-rewriting systems presenting groups. In: Albert, J. L., Monien, B., Artalejo, M. R. (eds.). Proceedings 18th ICALP. Lecture Notes in Computer Science vol.510, pp. 279?290. Berlin, Heidelberg, New York: Springer 1991"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0304-3975(93)90213-D","volume":"113","author":"K. Madlener","year":"1993","unstructured":"Madlener, K., Narendran, P., Otto, F., Zhang, L.: On weakly confluent monadic stringrewriting systems: Theoret. Comput. Sci.113, 119?165 (1993)","journal-title":"Theoret. Comput. Sci."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0304-3975(89)90002-9","volume":"67","author":"K. Madlener","year":"1989","unstructured":"Madlener, K., Otto, F.: About the descriptive power of certain classes of finite string-rewriting systems: Theoret. Comput. Sci.67, 143?172 (1989)","journal-title":"Theoret. Comput. Sci."},{"key":"CR18","first-page":"160","volume-title":"Proceedings STACS'91. Lecture Notes in Computer Science. vol 480","author":"K. Madlener","year":"1991","unstructured":"Madlener, K., Otto, F.: Decidable sentences for context-free groups. In: Choffrut, C., Jantzen, M. (eds.). Proceedings STACS'91. Lecture Notes in Computer Science. vol 480, pp. 160?171. Berlin, Heidelberg, New York: Springer 1991"},{"key":"CR19","volume-title":"Combinatorial Group Theory","author":"W. Magnus","year":"1966","unstructured":"Magnus, W., Karrass, A., Solitar, D.: Combinatorial Group Theory. New York: Wiley-Interscience 1966"},{"key":"CR20","volume-title":"Ann. Math. Studies vol.68","author":"C. F. Miller III","year":"1971","unstructured":"Miller, C. F. III: On group-theoretic decision problems and their classification. Ann. Math. Studies vol.68. Princeton: Princeton University Press 1971"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0022-0000(83)90003-X","volume":"26","author":"D. E. Muller","year":"1983","unstructured":"Muller, D. E., Schupp, P. E.: Groups, the theory of ends and context-free languages. J. Comput. Syst. Sci.26, 295?310 (1983)","journal-title":"J. Comput. Syst. Sci."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF00268077","volume":"23","author":"F. Otto","year":"1986","unstructured":"Otto, F.: On deciding whether a monoid is a free monoid or is a group. Acta Informatica23, 99?110 (1986)","journal-title":"Acta Informatica"},{"key":"CR23","first-page":"292","volume-title":"Lecture Notes in Computer Science vol. 539","author":"F. Otto","year":"1991","unstructured":"Otto, F.: Some undecidability results for weakly confluent monadic string-rewriting systems. In: Mattson, H. F., Mora, T., Rao, T. R. N. (eds.). Proceedings AAECC-9. Lecture Notes in Computer Science vol. 539, pp. 292?303. Berlin, Heidelberg, New York: Springer 1991"},{"key":"CR24","first-page":"163","volume-title":"Lecture Notes in Mathematics vol. 1398","author":"D. J. S. Robinson","year":"1989","unstructured":"Robinson, D. J. S.: Reflections on the constructive theory of polycyclic groups. In: Lecture Notes in Mathematics vol. 1398, pp. 163?169. Berlin, Heidelberg, New York: Springer 1989"},{"issue":"3","key":"CR25","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1112\/plms\/s3-61.3.497","volume":"61","author":"D. Segal","year":"1990","unstructured":"Segal, D.: Decidable properties of polycyclic groups. Proc. Lond. Math. Soc. (3)61, 497?528 (1990)","journal-title":"Proc. Lond. Math. Soc."},{"key":"CR26","unstructured":"Wi\u00dfmann, D.: Anwendung von Rewriting-Techniken in polyzyklischen Gruppen. Doctoral dissertation (Fachbereich Informatik, Universit\u00e4t Kaiserslautern 1989)"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01225643.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01225643\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01225643","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T08:00:25Z","timestamp":1556611225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01225643"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":26,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["BF01225643"],"URL":"https:\/\/doi.org\/10.1007\/bf01225643","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}