TY - RPRT TI - Formal approaches to a definition of agents AU - Martin Biehl PY - 2017 UR - https://arxiv.org/abs/1704.02716 ID - 1704.02716 ER -