[IEEE Tenth Annual IEEE Symposium on Logic in Computer Science - San Deigo, CA, USA (26-29 June 1995)] Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science - Origins and metamorphoses of the Trinity: logic, nets, automata
Trakhtenbrot, B.Year:
1995
Language:
english
DOI:
10.1109/LICS.1995.523284
File:
PDF, 124 KB
english, 1995