合成可能なタブロによる仕様の差分的無矛盾性判定について

Publication Information

Title

Japanese:	合成可能なタブロによる仕様の差分的無矛盾性判定について
English:

Author

Japanese:	Masahiko Tomoishi, Naoki Yonezaki.
English:	Masahiko Tomoishi, Naoki Yonezaki.

Language

Japanese

Journal/Book name

Japanese:	Program Translation, Symbolic Computation and Algebraic Manipulation(PSF99)
English:	Program Translation, Symbolic Computation and Algebraic Manipulation(PSF99)

Volume, Number, Page

pp. 142-149

Published date

1999

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English: