Conference series Beta
Workshop on Mechanized Reasoning About Languages with Variable Binding (MERLIN)
- Events
- 1 (2001)
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/series/s122zgr
Events (1)
20012001
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2001 | Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001 | Siena |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| dblp |
|---|
Cite
Workshop on Mechanized Reasoning About Languages with Variable Binding (MERLIN). confref identifier s122zgr. https://id.confref.org/series/s122zgr
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.