TY  - RPRT
TI  - Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract
AU  - Alexander Kurz
AU  - Tomoyuki Suzuki
AU  - Emilio Tuosto
PY  - 2013
UR  - https://arxiv.org/abs/1310.7093
ID  - 1310.7093
ER  -