论文信息 - ReDuX 1.5: New Facets of Rewriting

ReDuX 1.5: New Facets of Rewriting

This catalogue only includes a selection of our titles in the Middle East and Islamic Studies. Our online catalogue gives you the power to search for any book currently in print by title, ISBN or full text. All the entries have a description of the book's content. Ordering online is fast and efficent, simply follow the on-screen instructions and your order will be sent to our distributors for immediate dispatch. Register your email address at www.tandf.co.uk/eupdates to receive information on books, journals and other news within your area of interest. Thousands of our titles are available as eBooks – in Adobe, Microsoft Reader and Mobipocket formats or available to browse online. Textbooks marked 'Available as an Inspection Copy' can be sent to lecturers considering adopting them for relevant courses. See the order form in the middle of the catalogue for more information.

[1] Donato Izzo,et al. ELENA , 1970 .

[2] Reinhard Bündgen,et al. Combining Computer Algebra and Rule Based Reasoning , 1994, AISMC.

[3] Judith M. Buddenbaum,et al. Journalism , 1909, The Hospital.

[4] Pierre Lescanne,et al. Termination of Rewriting Systems by Polynomial Interpretations and Its Implementation , 1987, Sci. Comput. Program..

[5] Reinhard Bündgen,et al. Preserving Confluence for Rewrite Systems with Built-in Operations , 1994, CTRS.

[6] Nachum Dershowitz,et al. Completion Without Failure11This research was supported in part by the National Science Foundation under grants DCR 85–13417 and DCR 85–16243. , 1989 .

[7] Reinhard Bündgen. On Pot, Pans and Pudding or How to Discover Generalised Critical Pairs , 1994, CADE.

[8] Reinhard Bündgen,et al. Reduce the Redex -> ReDuX , 1993, RTA.

[9] Reinhard Bündgen,et al. Experiments with Partial Evaluation Domains for Rewrite Specifications , 1995, COMPASS/ADT.

[10] David Dillon,et al. Language learning , 2006, Language Teaching.

[11] Wolfgang Küchlin,et al. Verification of the Sparrow processor , 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.