Proceedings of the ... ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding :
- Publisher: Association for Computing Machinery
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 63166194
- Subject: Reasoning Data processing Congresses.
- Subject code: Q
- Publication history: Began with 2003.
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 2005 | permanent |