Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

ISBN
9783540543176
$129.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1991
  • x, 464
  • Yes
  • 516
  • QA75.5-76.95