Jelenlegi hely
Characterizing weighted MSO for trees by branching transitive closure logics
Szerző:
Zoltán Fülöp, Heiko Vogler
Cím:
Characterizing weighted MSO for trees by branching transitive closure logics
Folyóirat:
THEORETICAL COMPUTER SCIENCE (ISSN: 0304-3975) 594: pp. 82-105. (2015)
Impact factor:
0.643