{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:45Z","timestamp":1725663825227},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573227"},{"type":"electronic","value":"9783540480631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57322-4_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:48:41Z","timestamp":1330260521000},"page":"178-187","source":"Crossref","is-referenced-by-count":0,"title":["Completion and invariant theory in symbolic computation and artificial intelligence"],"prefix":"10.1007","author":[{"given":"Eugen E.","family":"Ardeleanu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"Lang, S., (1984). Algebra. Addison-Wesley.","key":"12_CR1"},{"unstructured":"Rota G.-C., Sturmfels B., (1988). Introduction to Invariant Theory in Superalgebras. Invariant Theory and Tableaux, ed., Stanton, D., Springer.","key":"12_CR2"},{"unstructured":"Kalman, R., Arbib, M., Falb, P., (1965). Topics in Mathematical System Theory, McGraw-Hill.","key":"12_CR3"},{"unstructured":"Kleene, S., (1967). Introduction to Metamathematics. North-Holland.","key":"12_CR4"},{"doi-asserted-by":"crossref","unstructured":"Pfalzgraf, J., (1991). Logical Fiberings and Polycontextural Systems. In: Fundamentals of Artificial Intelligence Research, eds., Jorrand, Ph., Kelemen, J., LNCS 535, Springer.","key":"12_CR5","DOI":"10.1007\/3-540-54507-7_14"},{"unstructured":"Jacobson, N., (1980). Basic Algebra II. Freeman.","key":"12_CR6"},{"doi-asserted-by":"crossref","unstructured":"Jouannaud, J-P., (1990). Syntactic Theories. In: Mathematical Foundations of Computer Science, ed., Rovan, B., LNCS 452, Springer.","key":"12_CR7","DOI":"10.1007\/BFb0029593"},{"doi-asserted-by":"crossref","unstructured":"Dershowitz, N., Jouannaud, J.-P. (1990). Rewrite Systems. In: Handbook of Theoretical Computer Science. Vol B: Formal Methods and Semantics, ed., van Leeuwen, J., North-Holland.","key":"12_CR8","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"unstructured":"Goguen, J., (1986). What Is Unification? In: Resolution of Equations in Algebraic Structures. Vol. 1: Algebraic Techniques, eds., Nivat, M., Ait-Kaci, H., Academic Press.","key":"12_CR9"},{"doi-asserted-by":"crossref","unstructured":"Buchberger, B., (1987). History and Basic Features of the Critical-pair\/completion Procedure. J. Symbolic-Computation, 3.","key":"12_CR10","DOI":"10.1016\/S0747-7171(87)80020-2"},{"doi-asserted-by":"crossref","unstructured":"Buchberger, B., (1976). A Theoretical Basis for the Reduction of Polynomials to Canonical Form. ACM SIGSAM Bull., 10.","key":"12_CR11","DOI":"10.1145\/1088216.1088219"},{"doi-asserted-by":"crossref","unstructured":"Winkler, F., (1984). The Church-Rosser Property in Computer Algebra and Special Theorem Proving. PhD Thesis, University. of Linz.","key":"12_CR12","DOI":"10.1145\/1089389.1089396"},{"doi-asserted-by":"crossref","unstructured":"Huet, G., (1987). Deduction and Computation. In: Logic of Programming and Calculi of Discrete Design, ed., Broy, M., Springer.","key":"12_CR13","DOI":"10.1007\/978-3-642-87374-4_12"},{"unstructured":"Nilsson, N., (1971). Problem Solving Methods in Artificial Intelligence. McGrawHill.","key":"12_CR14"},{"doi-asserted-by":"crossref","unstructured":"Engeler, E., (1990). Combinatory Differential Fields, Theoretical Computer Science 72.","key":"12_CR15","DOI":"10.1016\/0304-3975(90)90031-C"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57322-4_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:03:42Z","timestamp":1619571822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}