Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
Franz Baader · Journal of the ACM · 1993
article Free AccessUnification in commutative theories, Hilbert's basis theorem, and Gröbner bases Author: Franz Baader German Research Center for Artificial Intelligence (DFKI), Saarbru¨cken, Germany German Research Center for Artificial Intelligence (DFKI), Saarbru¨cken, GermanyView Profile Authors Info & Claims Journal of the ACMVolume 40Issue 3July 1993 pp 477–503https://doi.org/10.1145/174130.174133Published:01 July 1993Publication History 19citation746DownloadsMetricsTotal Citations19Total Downloads746Last 12 Months35Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF