{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:33:21Z","timestamp":1725726801498},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108597"},{"type":"electronic","value":"9783662023280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-662-02328-0_21","type":"book-chapter","created":{"date-parts":[[2013,5,23]],"date-time":"2013-05-23T14:23:38Z","timestamp":1369319018000},"page":"235-245","source":"Crossref","is-referenced-by-count":1,"title":["A Noetherian Rewrite System for Idempotent Semigroups"],"prefix":"10.1007","author":[{"given":"J.","family":"Siekmann","sequence":"first","affiliation":[]},{"given":"P.","family":"Szab\u00f3","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Proc. of the Workshop on Automated Deduction","volume-title":"Completeness of Conditional Reductions","author":"D Brand","year":"1979","unstructured":"D. Brand, J. Darringer, J. Joyner \u201cCompleteness of Conditional Reductions\u201d; Proc. of the Workshop on Automated Deduction,1979"},{"key":"21_CR2","volume-title":"On the Finiteness of Semigroups in which xr = x","author":"TC Brown","year":"1964","unstructured":"T.C. Brown \u201cOn the Finiteness of Semigroups in which xr = x\u201d; Proc. Cambridge Phil. Soc. 60, 1964"},{"key":"21_CR3","volume-title":"The Algebraic Theory of Semigroups","author":"AH Clifford","year":"1961","unstructured":"A.H. Clifford, G.B. Preston \u201cThe Algebraic Theory of Semigroups\u201d; American Math. Society, 1961"},{"key":"21_CR4","volume-title":"On Semigroups in which xr = x","author":"JH Green","year":"1952","unstructured":"J.H. Green, D. Rees \u201cOn Semigroups in which xr = x\u201d; Proc. Cambridge Phil. Soc. 48, 1952"},{"key":"21_CR5","volume-title":"Abstract Data Types and Software Validation","author":"JV Guttag","year":"1978","unstructured":"J.V. Guttag, E. Horowitz, D.R. Musser \u201cAbstract Data Types and Software Validation\u201d; Com. of the ACM, vol 21,no 12, 1978"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"J.A. Gerhardt \u201cThe Lattice of Equational Classes of Idempotent Semigroups\u201d; J. of Algebra, 15, 1970","DOI":"10.1016\/0021-8693(70)90073-6"},{"key":"21_CR7","unstructured":"G. Huet, D. Oppen \u201cEquations and Rewrite Rules: A Survey\u201d; Techn. Report CSL-111, SRI International, California"},{"key":"21_CR8","volume-title":"An Introduction to Semigroup Theory","author":"JM Howie","year":"1976","unstructured":"J.M. Howie \u201cAn Introduction to Semigroup Theory\u201d, Academic Press, 1976"},{"key":"21_CR9","unstructured":"M.A. Harrison \u201cIntroduction to Formal Language Theory\u201d, Addison Wesley, 1978"},{"key":"21_CR10","volume-title":"Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems","author":"G Huet","year":"1977","unstructured":"G. Huet \u201cConfluent Reductions: Abstract Properties and Applications to Term Rewriting Systems\u201d; 18th IEEE Symp. on Foundations of Comp. Sci., 1977"},{"key":"21_CR11","volume-title":"Computational Problems in Abstract Algebra","author":"D Knuth","year":"1970","unstructured":"D. Knuth, P. Bendix \u201cSimple Word Problems in Universal Algebras\u201d, in: Computational Problems in Abstract Algebra, (ed) J. Leech, Pergamon Press, 1970"},{"key":"21_CR12","volume-title":"Automated Theorem Proving","author":"D Loveland","year":"1978","unstructured":"D. Loveland \u201cAutomated Theorem Proving\u201d, North Holland Publ. Comp., 1978"},{"key":"21_CR13","volume-title":"Idempotent Semigroups","author":"D McLean","year":"1954","unstructured":"D. McLean \u201cIdempotent Semigroups\u201d; Americ. Math.Mon.61, 1954"},{"key":"21_CR14","volume-title":"A Short Survey on the State of the Art in Matching and Unification Problems","author":"P Raulefs","year":"1978","unstructured":"P. Raulefs, J. Siekmann, P. Szab\u00f3, E. Unvericht \u201cA Short Survey on the State of the Art in Matching and Unification Problems\u201d, Bulletin of EATC, Oct. 1978"},{"key":"21_CR15","volume-title":"A Noetherian Rewrite System for Idempotent Semigroups","author":"J Siekmann","year":"1981","unstructured":"J. Siekmann, P. Szab\u00f3 \u201cA Noetherian Rewrite System for Idempotent Semigroups\u201d, Universit\u00e4t Karlsruhe, 1981 (to appear in \u201cSemigroup Forum\u201d, Springer 1981)"},{"key":"21_CR16","unstructured":"J. Siekmann, P. Szab\u00f3 \u201cUnification in Idempotent Semigroups\u201d; Univ. Karlsruhe, Institut f\u00fcr Informatik I (in preparation)."}],"container-title":["Informatik-Fachberichte","GWAI-81"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-02328-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T04:45:47Z","timestamp":1557722747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-02328-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108597","9783662023280"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-02328-0_21","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}