{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:25Z","timestamp":1725664345900},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592006"},{"type":"electronic","value":"9783540492238"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59200-8_80","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:06:44Z","timestamp":1330276004000},"page":"444-449","source":"Crossref","is-referenced-by-count":0,"title":["Guiding term reduction through a neural network: Some preliminary results for the group theory"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Paccanaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"39_CR1","doi-asserted-by":"crossref","unstructured":"N. Dershowitz [1989], \u201cCompletion and its applications\u201d, in Resolution of equations in algebraic structures, pp. 31\u201348.","DOI":"10.1016\/B978-0-12-046371-8.50008-0"},{"key":"39_CR2","unstructured":"J.A. Freeman, D.M. Skapura [1991], \u201cNeural Networks-Algorithms, Applications, and Programming Techniques\u201d, Addison-Wesley."},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"J. Hsiang, M. Rusinovitch [1987], \u201cOn Word Problems in Equational Theories\u201d, 14th Int. Conf. on Automata Languages and Programming, Karlsrhue.","DOI":"10.1007\/3-540-18088-5_6"},{"key":"39_CR4","doi-asserted-by":"crossref","DOI":"10.21236\/ADA087641","volume-title":"\u201cA catalogue of canonical term rewriting systems\u201d, Rept. CSL-113","author":"J.M. Hullot","year":"1980","unstructured":"J.M. Hullot [1980], \u201cA catalogue of canonical term rewriting systems\u201d, Rept. CSL-113, SRI International, Menlo Park, CA."},{"key":"39_CR5","unstructured":"D.E. Knuth, P. Bendix [1970], \u201cSimple Word Problems in Universal Algebras\u201d, Proceedings of the Conf. on Computational Problems in Abstract Algebras, Pergamon Press, pp. 263\u2013298."},{"key":"39_CR6","volume-title":"Neural Computing: Theory and Practice","author":"P.D. Wasserman","year":"1989","unstructured":"P.D. Wasserman [1989], \u201cNeural Computing: Theory and Practice\u201d, van Nostrand Reinhold, New York"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59200-8_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:25:07Z","timestamp":1619573107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59200-8_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592006","9783540492238"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-59200-8_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}