Weighted Pushdown Systems with Indexed Weight Domains | Tokyo Tech Research Repository (T2R2)

Publication Information

Title

Japanese:
English:	Weighted Pushdown Systems with Indexed Weight Domains

Author

Japanese:	南出靖彦.
English:	Yasuhiko Minamide.

Language

English

Journal/Book name

Japanese:
English:	Logical Methods in Computer Science

Volume, Number, Page

Vol. 12 2

Published date

June 29, 2016

Publisher

Japanese:
English:	International Federation of Computational Logic

Conference name

Japanese:
English:

Conference site

Japanese:
English:

File

DOI

http://dx.doi.org/10.2168/LMCS-12(2:9)2016

©2007 Tokyo Institute of Technology All rights reserved.