Title: Book review: Term Rewriting and all that by Franz Baader and Tobias Nipkow (Cambridge Univ . Press, 313 pages)
Abstract:article Free Access Share on Book review: Term Rewriting and all that by Franz Baader and Tobias Nipkow (Cambridge Univ . Press, 313 pages) Reviewer: Paliath Narendran State University of New York at ...article Free Access Share on Book review: Term Rewriting and all that by Franz Baader and Tobias Nipkow (Cambridge Univ . Press, 313 pages) Reviewer: Paliath Narendran State University of New York at Albany (SUNY-Albany ) State University of New York at Albany (SUNY-Albany )View Profile Authors Info & Claims ACM SIGACT NewsVolume 31Issue 3Sept. 2000 pp 24–26https://doi.org/10.1145/356458.1008651Online:01 September 2000Publication History 0citation219DownloadsMetricsTotal Citations0Total Downloads219Last 12 Months6Last 6 weeks1 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 Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDFRead More