Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR ´98, Manchester UK, June 1998 /
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Heidelberg:
Springer-Verlag,
1999
|
| Edition: | 1. vyd. |
| Series: | Lecture Notes in Computer Science
1559. |
| Tags: |
No Tags, Be the first to tag this record!
|