Event Beta

Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001

Name: Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001
Location: Siena

Date: 2001
Place: Siena, Italy on the map
Series: Workshop on Mechanized Reasoning About Languages with Variable Binding (MERLIN)
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e11hnwc

Proceedings

Title	DOI	Year	Record
Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001 Electronic Notes in Theoretical Computer Science 58		2001	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

dblp	`https://dblp.org/db/conf/merlin/merlin2001`

Cite

Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001. confref identifier e11hnwc. https://id.confref.org/event/e11hnwc

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.