TY - DATA AU - Mizuho Hoshi AU - Shinnosuke Seki TI - Developments in Language Theory SN - 9783319986548 KW - Computer Science KW - Computer Science Logic and Foundations of Programming UR - https://link.springer.com/openurl?genre=book&isbn=978-3-319-98654-8 ER -