Solving String Constraints with Streaming String Transducers

Publication Information

Title

Japanese:
English:	Solving String Constraints with Streaming String Transducers

Author

Japanese:	Qizhen Zhu, 南出靖彦, 赤間仁志.
English:	Qizhen Zhu,, Yasuhiko Minamide, Hitoshi Akama.

Language

English

Journal/Book name

Japanese:
English:	Journal of Information Processing

Volume, Number, Page

Published date

Oct. 2019

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English: