Pattern matching in order-sorted languages/
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Paris:
Digital Paris Research Laboratory,
c1991
|
| Series: | Digital Paris Research Laboratory reports ;
10 |
| Subjects: |