MathSciNet bibliographic data

MR594700 (82a:68090) 68C99 (06A10) Huet, Gérard Confluent reductions: abstract properties and applications to term rewriting systems. J. Assoc. Comput. Mach. 27 (1980), no. 4, 797--821.

Article

For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.

Username/Password Subscribers access MathSciNet here

AMS Home Page American Mathematical Society 201 Charles Street Providence, RI 02904-6248 USA © Copyright 2009, American Mathematical Society Privacy Statement