Conditional Equational Theories and Complete Sets of Transformations (1988)

Cached

Download Links

by Steffen Hölldobler
Venue:IN PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON FIFTH GENERATION COMPUTER SYSTEMS
Citations:1 - 0 self