TY - GEN
AU - Association for Computing Machinery
TI - Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
PB - ACM
SN - 1581138008
KW - Computer science
KW - Software
KW - Theory of Computation
KW - Formal language definitions
KW - Formal languages and automata theory
KW - Computability
KW - Konferenzschrift
PY - 2003
N2 - Title from The ACM Digital Library
BT - ACM Digital Library
BT - ACM Conferences
CY - New York, NY
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation