Special Issue on Order-sorted Rewriting: Foreword of the Guest Editor

Saved in:
Bibliographic Details
Published in:Journal of symbolic computation 1998-04, Vol.25 (4), p.395-395
Main Author: Smolka, G.
Format: Article
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0747-7171
1095-855X
DOI:10.1006/jsco.1998.0184