Home >

news Help

Publication Information


Title
Japanese:非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定 
English: 
Author
Japanese: 釜野 雅基, 福田 大我, 南出 靖彦.  
English: Masaki Kamano, Taiga Fukuda, Yasuhiko Minamide.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Aug. 2021 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本ソフトウェア科学会第38回大会 
English: 
Conference site
Japanese: 
English: 

©2007 Tokyo Institute of Technology All rights reserved.